fix reference in HoTTBook.v