small html cleanup