Fix obvious typos in TVTs