Merge pull request #832 from jsrjenkins/patch-1

Fix minor typo on line 1486
This commit is contained in:
Dirk-Jan C. Binnema
2016-04-26 20:12:11 +03:00