[dev] Fixes to tov_new_eos.