fix BinOp bugs.