Minor tweaks. No changes in meaning.