#117: undo minor spacing change