Doc fixes.  Closes pull request #1.