#3250 fix whitespace