A couple more whitespace fixes