fix example for issue #383