Permutation operator updated