[#3012] Whitespace fix