From a68d1168845c9e7d4568a5c4511330c628116174 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Wed, 22 Sep 2010 21:31:55 +0000
Subject: [PATCH] Fixes

---
 about/changes/changes-5.en.ptm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/about/changes/changes-5.en.ptm b/about/changes/changes-5.en.ptm
index 7a22f4e..c207ef3 100644
--- a/about/changes/changes-5.en.ptm
+++ b/about/changes/changes-5.en.ptm
@@ -13,7 +13,7 @@
     particular, accents are typed using <prefix|A-> instead of <key|E->.
 
     <item>Variants are now obtained using <key|tab> instead of
-    <key|<with|mode|math|\<ast\>>> and you can circle back using
+    <key|*> and you can circle back using
     <key|S-tab>.
 
     <item>Greek characters are now typed using <prefix|A-C->, <prefix|math:greek>, or the