Fixing formatting, in light of fixing #15