fix coq1t