Minor typographic tweaks