minor tweak to CSS comment