some html refinements.