examples; fixes #39