minor tweak to CSS whitespace