minor typesetting