Make Jerome happy with a new whitespace