Fix autotesting.py