Merge pull request #1029 from nicolasdespres/fix-doc-typo
authorNico Weber <nicolasweber@gmx.de>
Wed, 21 Oct 2015 23:35:03 +0000 (16:35 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 21 Oct 2015 23:35:03 +0000 (16:35 -0700)
Fix typo.


Trivial merge