more HTML changes

-- Robin