Oops, sorry Frederick, I think I just misread something and
incorrectly attributed something written by
wojtek@wojtek.from.pl to yourself.