fix some more nits
authorRalf Jung <post@ralfj.de>
Sun, 11 Feb 2018 16:50:36 +0000 (17:50 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 11 Feb 2018 16:50:36 +0000 (17:50 +0100)

No differences found