Merge pull request #9175 from alalek:issue_9169
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 17 Jul 2017 13:05:11 +0000 (13:05 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 17 Jul 2017 13:05:12 +0000 (13:05 +0000)

Trivial merge