> On Dec 22, 2021, at 11:45 PM, John Kacur <jkacur@xxxxxxxxxx> wrote: > > No, it looks to me like the code is correct but the comment is incorrect. > If you submit a patch fixing the comment, I'll apply it. > I agree. I will send another patch to fix the comment. Thanks Oscar