Minor HTML fixes