bug fix in CSS handling