another typographic tweak