also change the pointers in HoTT.v