Clean up whitespace from #4349.