Fix testhawt.py