Commit f92fa39341846b694864fb5e94da442c6f3fbb6e

Werner Lemberg 2019-02-20T16:04:48

Minor documentation fixes.