Sequence: fixing a tiny bug in the last commit.