diff --git a/ChangeLog b/ChangeLog
index 52b03e9e2..4f5aed614 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2011-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Undocument `.' from the web interface.
+
+	* wrap/python/ajax/ltl2tgba.html: Remove `.'
+	from the list of acceptable symbols for AND.
+
 2011-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS, configure.ac: Bump version to 0.8a.
diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 25a54cc15..7de6f15db 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -199,7 +199,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
     <tr>
       <td align="right">not:</td><td><span class="formula">!</span> <span class="formula">~</span></td>
       <td align="right">and:</td><td><span class="formula">&</span> <span class="formula">&&</span>
-                                     <span class="formula">.</span> <span class="formula">/\</span></td>
+                                     <span class="formula">/\</span></td>
       <td align="right">(strong) until:</td><td><span class="formula">U</span></td>
       <td align="right">true:</td><td><span class="formula">1</span>
                                       <span class="formula">true</span></td>