bump HT to 0.9