fix a small css bug