doc fix for issue #8