Refactor operator -=