Fix HTML-compliance here and there.