Fix example

Cf I don't remember which other PR.