Re: [Dev-luatex] Correction of a typo in the manual