Small bugfix in an example.