Fixed typo

Hi Wim,

what do you think of this typo fix ?