minor tweak: removed whitespace