Re: [PATCH] Minor doc fix