fix a tiny bug in "addNewProducedTVs"