Rearrange the arguments passed to check/2 to match existing conventions
Fix dialyzer warning