Minor fix for CSS correctness