fix typo
authorroot <root@blitz.inria.fr>
Fri, 9 Jul 2010 17:48:34 +0000 (19:48 +0200)
committerroot <root@blitz.inria.fr>
Fri, 9 Jul 2010 17:48:34 +0000 (19:48 +0200)

Trivial merge