minor typesetting improvements