Merge pull request #735 from offby1/master

Minor doc tweak