bugfix in example