Small typesetting tweak