--- a/doc-src/TutorialI/appendix.tex Thu Dec 13 16:48:07 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex Thu Dec 13 16:48:34 2001 +0100
@@ -115,7 +115,7 @@
\begin{table}[htbp]
\begin{center}
-\begin{tabular}{|lllllllll|}
+\begin{tabular}{@{}|lllllllll|@{}}
\hline
\texttt{ALL} &
\texttt{BIT} &