examples, fixes #17