Some renaming in the sequence lib.