minor tweak in css