Possible white space fix #3012