Fix whitespace for PR809