Fixes #2241: resetSequence() inconsistency.