Revert change accidentally checked in as part of a whitespace normalization

patch.