a bit of HTML cleaning