minor html cleanup