minor typesetting changes