Small fix to verify_tx_input