diff --git a/docs/manual/Integration/jext-plugin.html b/docs/manual/Integration/jext-plugin.html
index 13381e49f..fcd53a28b 100644
--- a/docs/manual/Integration/jext-plugin.html
+++ b/docs/manual/Integration/jext-plugin.html
@@ -4,11 +4,11 @@
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
   <meta http-equiv="Content-Language" content="en-us">
   <link rel="stylesheet" type="text/css" href="../stylesheets/style.css">
-<title>Apache AntWork Plugin for the Jext - Java Text Editor</title>
+<title>Apache AntWork Plugin for the Jext Java Text Editor</title>
 </head>
 <body>
 
-<h1>AntWork Plugin for the Jext - Java Text Editor</h1>
+<h1>AntWork Plugin for the Jext Java Text Editor</h1>
  <a name="authors"></a>by<ul>
   <li>Klaus Hartlage
       (<a href="mailto:KHartlage@t-online.de">KHartlage@t-online.de</a>)</li>
diff --git a/docs/manual/ide.html b/docs/manual/ide.html
index 94f1ad2e1..c2ffba10f 100644
--- a/docs/manual/ide.html
+++ b/docs/manual/ide.html
@@ -29,7 +29,7 @@ All the modern Java IDEs support Ant almost out of the box.
   </li>
   <li>
     <a href="Integration/jext-plugin.html">
-      AntWork Plugin for the Jext - Java Text Editor (unbundled)
+      AntWork Plugin for the Jext Java Text Editor (unbundled)
     </a>
   </li>
   <li>
