Fix whitespace nit

Minor cleanup from #6315. Probably could have just pushed straight to master :)