Corrigenda: Pushdown Machines for the Macro Tree Tranducer