@end enumerate
@page
-@appendixsubsec ADDENDUM: How to use this License for your documents
+@subheading ADDENDUM: How to use this License for your documents
To use this License in a document you have written, include a copy of
the License in the document and put the following copyright and