Fix a warning in HT_enabled()