Fix a few mistakes in rules