Fix typo.

Patch by Stephan Falke.