Fix a typo in tutorial, chapt. 3, Reducing Duplication with Rules