Nzogbia giving Coq some problems