Be more clear about what file we're coq'ing