Fix a typing mismatch