Remove extra whitespace introduced in 4a8e737c.