minor cleanup of whitespace