better editing of html