Merge pull request #353 from usernamestaken/master
authorJens Steube <jens.steube@gmail.com>
Fri, 27 May 2016 07:40:58 +0000 (09:40 +0200)
committerJens Steube <jens.steube@gmail.com>
Fri, 27 May 2016 07:40:58 +0000 (09:40 +0200)
Fix a typo and change option header layout


Trivial merge