fixed an RE bug in the binary operators