Fixed an example.