Merge pull request #15039 from fiigii/fix
authorBruce Forstall <brucefo@microsoft.com>
Wed, 15 Nov 2017 21:32:04 +0000 (13:32 -0800)
committerGitHub <noreply@github.com>
Wed, 15 Nov 2017 21:32:04 +0000 (13:32 -0800)
Fix #15035


Trivial merge