fix some bugs in new statement of rules