Fix example HTML.