Fix a typo.

Spotted by:	O. Hartmann