Small syntax change in CSS