Fix a typo.
Found by: Malte Helmert <helmert{_AT_}informatik.uni-freiburg.de>
Authored by: cmpilato 2009-04-01
Parent: [r3459]
Child: [r3461]