coq settings added