Re: Dual licensing of Org manual?

[Stephen J. Turnbull]

Bastien writes:
 > Hi Richard, 
 > 
 > I changed the copyright notice of the Org manual to this:
 > 
 >   Permission is granted to copy, distribute and/or modify this document
 >   under the terms of the GNU Free Documentation License, Version 1.3 or
 >   any later version published by the Free Software Foundation; with no
 >   Invariant Sections and no Cover Texts.

Is this the correct wording?  I parse that as "you may not add
Invariant Sections or Cover Texts", which conflicts with the FDL
itself.  I would expect phrasing like "there are no Invariant Sections
or Cover Texts for this document."