TxBuilder: fix missing code path