I've checked in that patch (as posted to the list on 12 Feb 2001). George, you'll need to close out the patch in the sourceforge patch manager. I don't seem to have access to do so.