Commit 81445c034aca36040b6311dc71a2cbed9548b262

Alexei Podtelezhnikov 2019-06-22T22:54:57

Doc polishing.