Update documentation for pull request #6