Minor tidy-ups in wording