Minor fixes and alternative wording