Small fixes to root_produce_tth