Another bug in MultiSet