Another whitespace cleanup