Re: submitting a patch to fix documentation errors