dejavu: nmod_mat_HNF() specification was incorrect, fixed