Some minor tweaks to grammar and explanations