Fix function call in ht.py