Add documentation for pull request #600