Some small whitespace fixes