Minor typographic clean-ups