subtraction (fixes #7 and #12)