minor fix for mamdani test