Don't write coverDecl templates