Minor documentation change.
Merge branch 'hotfix/0.9.2' into develop