Fix typo.

Noticed by Simon Hengel.