Corrected typo on one of the rules