Merge pull request #14963 from alalek:pr14925_fix
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 2 Jul 2019 19:43:09 +0000 (19:43 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 2 Jul 2019 19:43:09 +0000 (19:43 +0000)

Trivial merge