Parameters of the pop() method are put back. We need them for custom pops.