Fix docs html.