Revert the unrelated whitespace changes made in d425e809958f233b08f6fbfba06bc6bb293ac2ca.