Correct minor formatting mistakes

This commit is contained in:
Joscha 2016-11-03 23:04:46 +00:00
parent 7eae3eea0d
commit 1736575ee8
2 changed files with 2 additions and 2 deletions