Minor HTML fixes.