Small formatting problem (whitespace)