Fixed minor problem in an example.