Small fix with the reset procedure