Fix whitespace error introduced by #1812