Fixed an error in an example.