Put back the unused virtuals in Vector<>