Corrected stupid bug in TermTest