HTML: fixes