CSS/HTML: small fix