Small fixes for RO-DEF-Tx