More formatting fixes.

This commit is contained in:
David Williams 2013-06-17 11:19:36 +02:00
parent 3e1539fc62
commit 6781462b59