Bugfix in example code