Updated documentation according to PR #138.