Revert another local change that snuck into a whitespace normalization

patch.