A bug has been closed (HoTT/coq #105)