removed all dependences on hott