Cosmetics: removed whitespace