fix breakage caused by re-definition of minus()