clean up of HoTT