Commit a3e842f9c69a3ce3bcde0ab7b0cfbeead10ed80f

Werner Lemberg 2018-08-22T09:55:38

Minor formatting and documentation fixes.