Use correct return type when calling permutation()

- Fixes a 32-64bit issue.