[#1244] Whitespace nits.