Repairs to conLangProofs