Bugfix in example