Correct example

This example was wrong.