There was a bug in Permutation.