Some little cleaning in HTML files.