Bug in minus (left) operator: computation was performed in place!