Minor HTML editions