Fix a bug in rule matching