final .html repair