fixed a nasty push op bug