small whitespace cleanup