Re #7228. Small tidy-ups (formatting, spelling).