Fixing skeleton module name typo.
Updating coq files.