fixed coq settings.