small mistakes and put back debug output by tests_jig()