Minor HTML fix