Little whitespace fix.