test_tnc3.py still has an odd failure