Fix HTML tags in doc.