small bugfix in css