Merge pull request #4012 from mshabunin:doc-fixes
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 14 May 2015 18:22:26 +0000 (18:22 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 14 May 2015 18:22:26 +0000 (18:22 +0000)

Trivial merge