Merge pull request #830 from eschnett/patch-1
authorZhang Xianyi <traits.zhang@gmail.com>
Fri, 1 Apr 2016 21:35:22 +0000 (17:35 -0400)
committerZhang Xianyi <traits.zhang@gmail.com>
Fri, 1 Apr 2016 21:35:22 +0000 (17:35 -0400)
Correct small typo in comment


Trivial merge