Merge pull request #9027 from JosephTremoulet/Comment
authorJoseph Tremoulet <JCTremoulet@gmail.com>
Sat, 21 Jan 2017 03:36:31 +0000 (22:36 -0500)
committerGitHub <noreply@github.com>
Sat, 21 Jan 2017 03:36:31 +0000 (22:36 -0500)
Fix incorrect comment


Trivial merge