Minor typesetting tweak