Merge pull request #38067 from lewing/standard
authorLarry Ewing <lewing@microsoft.com>
Thu, 18 Jun 2020 04:17:38 +0000 (23:17 -0500)
committerGitHub <noreply@github.com>
Thu, 18 Jun 2020 04:17:38 +0000 (23:17 -0500)
Fix typo


Trivial merge