minor change about the CSS: