Fix a dumb bug in reset()