Test (and fix definition of) reset