fix a small oversite in the parameter type-checking code