Oops.  License is still an appendix.
diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex
index df3dda5..03c0acf 100644
--- a/Doc/ref/ref.tex
+++ b/Doc/ref/ref.tex
@@ -58,6 +58,8 @@
 \input{ref7}		% Compound statements
 \input{ref8}		% Top-level components
 
+\appendix
+
 \chapter{History and License}
 \input{license}