fix a dumb bug inherited from symdiff