may have fixed resetting of self.min after pop(), in restructure()