Fix test names for trad.exp tests