Fixed errata in example