fix up some typoes and type errors in the *trsv tests