Very minor whitespace adjustments