Fix modLangProof