Merge pull request #9841 from alalek:naming_issue
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 12 Oct 2017 11:22:54 +0000 (11:22 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 12 Oct 2017 11:22:54 +0000 (11:22 +0000)

Trivial merge