fixes reset Coq bug