typo fix

thanks Dimitri Korsch for bug report