Slight readability improvement in docs
Merge pull request #86 from geoghegan/master

Slight readability improvement in docs