fixed RuleClass.k