small whitespace fixes