Fixed bug in binary minus