Issue found while translating the v12 manual. I also fixed something thatwas missing, as far as I understand it (first fix, the typo is the secondfix).
See patch attached.
Thanks.
-- Guillaume.