diff --git a/docs/syntax/assign.syn b/docs/syntax/assign.syn
index 9ebd993d5a..e94a4b0650 100644
--- a/docs/syntax/assign.syn
+++ b/docs/syntax/assign.syn
@@ -7,6 +7,7 @@
 \( 
 \lit*{:=} \\
 \lit*{+=} \\
+\lit*{-=} \\
 \lit*{*=} \\
 \lit*{/=}
 \)
diff --git a/docs/syntax/numbers.syn b/docs/syntax/numbers.syn
index 69141876fc..198af62dbe 100644
--- a/docs/syntax/numbers.syn
+++ b/docs/syntax/numbers.syn
@@ -33,15 +33,12 @@ sign \begin{stack} \lit* + \\ \lit* - \end{stack}
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{unsigned\ real} \synt{digit\ sequence} 
-\begin{stack}
-  \begin{stack} \\
+\[
     \lit . \synt{digit\ sequence} 
-  \end{stack}
-  \begin{stack} \\
-    \synt{scale\ factor} 
-  \end{stack} \\
-  \synt{scale\ factor} 
-\end{stack}
+\]
+\[
+ \synt{scale\ factor} 
+\]
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{scale\ factor} \begin{stack} \lit*{E} \\ \lit*{e} \end{stack}
diff --git a/docs/syntax/property.syn b/docs/syntax/property.syn
index 167e88ead3..d88227b339 100644
--- a/docs/syntax/property.syn
+++ b/docs/syntax/property.syn
@@ -7,6 +7,9 @@
 \begin{mysyntdiag}
 \synt{property\ interface}
 \[ \synt{property\ parameter\ list}\] \lit*: \synt{type\ identifier}
+\[
+\lit*{index} \synt{integer constant}
+\]
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{property\ parameter\ list} \lit*[
diff --git a/docs/syntax/typeclas.syn b/docs/syntax/typeclas.syn
index dce6dcca89..46803adc0a 100644
--- a/docs/syntax/typeclas.syn
+++ b/docs/syntax/typeclas.syn
@@ -1,4 +1,4 @@
-\begin{diagram}{Class type}{classtype}
+\begin{diagram}{Class types}{classtype}
 \begin{mysyntdiag}
 \[ \lit*{packed} \]
 \lit*{class} 
diff --git a/docs/syntax/typeenum.syn b/docs/syntax/typeenum.syn
index 8c53bb5d08..f3b4565e45 100644
--- a/docs/syntax/typeenum.syn
+++ b/docs/syntax/typeenum.syn
@@ -1,4 +1,4 @@
-\begin{diagram}{Enumerated type}{enumeratedtype}
+\begin{diagram}{Enumerated types}{enumeratedtype}
 \begin{mysyntdiag}
 \synt{enumerated\ type} \lit* ( 
 \begin{rep}[b]
diff --git a/docs/syntax/typeobj.syn b/docs/syntax/typeobj.syn
index 281943eb02..f628c765cd 100644
--- a/docs/syntax/typeobj.syn
+++ b/docs/syntax/typeobj.syn
@@ -1,4 +1,4 @@
-\begin{diagram}{object type}{objecttype}
+\begin{diagram}{object types}{objecttype}
 \begin{mysyntdiag}
 \[ \lit*{packed} \]
 \lit*{object} 
diff --git a/docs/syntax/typeproc.syn b/docs/syntax/typeproc.syn
index 569eac2f9c..e159ae703b 100644
--- a/docs/syntax/typeproc.syn
+++ b/docs/syntax/typeproc.syn
@@ -1,11 +1,11 @@
-\begin{diagram}{Procedural Types}{Procedural types}
+\begin{diagram}{Procedural types}{proceduraltypes}
 \begin{mysyntdiag}
 \synt{procedural\ type} 
 \( \synt{function\ header} \\ 
    \synt{procedure\ header}
 \)
 \[ \lit*{of} \lit*{object} \]
-\[ \synt{call\ modifiers} \] 
+\[ \lit* ; \synt{call\ modifiers} \] 
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{function\ header} \lit*{function} \synt{formal\ parameter\ list}
diff --git a/docs/syntax/typerec.syn b/docs/syntax/typerec.syn
index e46307650f..52e238a883 100644
--- a/docs/syntax/typerec.syn
+++ b/docs/syntax/typerec.syn
@@ -17,6 +17,7 @@
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{variant\ part} 
+\lit*{case}
 \[ \synt{identifier} \lit*: \] 
 \synt{ordinal\ type\ identifier} 
 \lit*{of} \<[b] \synt{variant} \\ \lit*; \>