Inadvertent whitespace change? :)