probably bugfix of rule checking