Minor HTML edit