repair of html