Fix rule numbering