Fixed errata in rule 9