Minor typesetting changes