#1794 whitespace