Fix whitespace from 9821b5f26e0fa7690e8793711fb5e951b3980aba.