minor change to CSS