Minor tweak in css