Commit de8de1ce0e498b8cc9ae39e5a7d156100bcda99b

Werner Lemberg 2019-02-20T12:48:36

Minor (whitespace, spelling, doc update).