Update PermutationSequence.h