Fix OpStackPush