fix a bug in super-coq.