Minor changes to permutation class