Fix syntax error in ht.py