space_operator "a * -b" fixes #137