fixed typos in MoreCoq, thanks to Dave