KNF change spotted by henning@ knf.pl

Thanks gilles@ for giving me this script.