Tweak whitespace; #1369