Fixes in *html files