Ticket #1405: Minor typographic tweaks.