Merge pull request #9865 from ryanfox:patch-4
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 30 Oct 2017 09:54:48 +0000 (09:54 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Mon, 30 Oct 2017 09:54:48 +0000 (09:54 +0000)

Trivial merge