ADT: Fix MapVector::erase()