minor tweak for whitespace