pushpop processing bug corrected