minor change in CSS