bug fix from Ad Holten - sorry, a typo was introduced