Minor fix in CSS