Commit 9ef0bc005c2b93b9adb27acef885fe6cccb1dcc6

Werner Lemberg 2013-06-05T14:53:27

Minor formatting.