Fix a bug in the example involving unnamed parameters