fix example

The example has a syntax error.