Minor documentation tweak

This commit is contained in:
William S Fulton 2016-01-22 07:18:38 +00:00
commit 2ad0e784ab