check_parameter_vals should have lazymatch

[andrew-appel]

The two matches in check_parameter_vals should be lazymatch, otherwise the error messages don't come out right.