issue #520: example bug in docs