fixed issue #669 Tiny documentation update