#117: minor spacing change