Minor cosmetic tidy-up.