fix a bug in the rule