Some minor fixes to the tester in ndproofs