playing with the testcheck.py yields errors