Fix subtraction definiton