Minor typesetting