Fix whitespace from 8e9e3279a9db.