editing rule_checking_readme