fixed bug in the numbering of the rules