typo, formatting tweak