Fix a bug in CSS