Merge pull request #3904 from devantoine/patch-1
authorWouter van Oortmerssen <wvo@google.com>
Tue, 19 Jul 2016 00:35:43 +0000 (17:35 -0700)
committerGitHub <noreply@github.com>
Tue, 19 Jul 2016 00:35:43 +0000 (17:35 -0700)
Fix typo


Trivial merge