Merge pull request #16241 from bwignall:typo
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 27 Dec 2019 16:18:56 +0000 (16:18 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 27 Dec 2019 16:18:57 +0000 (16:18 +0000)

Trivial merge