Fixing an example.