Fix formatting error in PR

This commit is contained in:
cpw 2013-07-28 19:15:00 +02:00
parent 94045ea73e
commit 5c5cf3e7e7