Re: patch to fix bug 8246