another minor change in css