Oops, I meant to send the patch to the bug list. Sorry for the noise.