More a "good style" whitespace change, without calling that out separately because it was close enough to not worry.