Fix typo in error msg
checkTypeOfIsSort ↦ checkProperType

Suggested by Tillmann.