some minor tweaks of the language.