Proofread tvec.i, thash.i, thashset.i