I have sent a patch for this to the mailing list, which also corrects some spelling/punctuation points on the same page.
I have sent a patch for this to the mailing list, which also corrects some spelling/ punctuation points on the same page.