Commit 1656752ee5565ab166d1223953b4a4a57182c7a2

Werner Lemberg 2016-09-06T12:29:18

Minor documentation improvements.