Minor documentation fix.
Merge pull request #7 from jkleckner/minor-doc-fix

Minor documentation fix.