Merge pull request #8669 from poppinlp/patch-1
authorKevin Sawicki <kevin@github.com>
Mon, 13 Feb 2017 16:18:19 +0000 (08:18 -0800)
committerGitHub <noreply@github.com>
Mon, 13 Feb 2017 16:18:19 +0000 (08:18 -0800)
Fix typo


Trivial merge