correction to documentation (contributed with thanks). Fixes #6