Fix bugs in operator- and operator-=