Cosmetic: whitespace fixes