Another whitespace fix.