Fix formatting
Merge pull request #8 from Tarrasch/patch-2

Fix formatting