Update documentation from PR #238.

See PR #238 for the content.