Why is this whitespace change necessary?