minor formatting change
Merge pull request #566 from nico/tweak

minor formatting change