Commit 35d62769bc7b5e5f5d03d7eedfc14340a5dcccc0

Thomas de Grivel 2013-07-27T02:00:55

only cosmetic changes to make the compiler happy