a little html cleanup