fixed var binding in rule