added a destroy_free method to html