fix bug in DestroyStage txs