Update documentation.rst

Changes from #638