Small bugfix in the example code.