Ensure ‘Virgo Server for Apache Tomcat’ is used instead of ‘Virgo Tomcat Server’.
diff --git a/user-guide/src/admin-shell.xml b/user-guide/src/admin-shell.xml
index 4de38e3..434bca8 100644
--- a/user-guide/src/admin-shell.xml
+++ b/user-guide/src/admin-shell.xml
@@ -49,7 +49,7 @@
 		
 		<para>
 		  <note>
-		    If you use the <literal>shutdown</literal> shell command to stop Virgo Tomcat Server, the shutdown messages appear in the shell terminal instead of in the terminal in which Virgo runs. This is due to the
+		    If you use the <literal>shutdown</literal> shell command to stop Virgo Server for Apache Tomcat, the shutdown messages appear in the shell terminal instead of in the terminal in which Virgo runs. This is due to the
         mechanisms which the shell implementation uses to redirect standard output.
       </note> 
 		</para>
diff --git a/user-guide/src/known-issues.xml b/user-guide/src/known-issues.xml
index ad04298..308e9e9 100644
--- a/user-guide/src/known-issues.xml
+++ b/user-guide/src/known-issues.xml
@@ -77,7 +77,7 @@
 	<section id="known-issues-shutdown-logs-shell">
 	  <title>Shutdown Log Messages in Telnet Shell</title>
 	  <para>
-	    When you use the <literal>shutdown</literal> shell command to stop Virgo Tomcat Server, the shutdown log messages appear in the shell terminal instead of in the terminal in which Virgo runs. 
+	    When you use the <literal>shutdown</literal> shell command to stop Virgo Server for Apache Tomcat, the shutdown log messages appear in the shell terminal instead of in the terminal in which Virgo runs. 
       See <link linkend="admin-shell-enable">Enabling Equinox Console</link> for more information. This is covered also by <ulink url="https://bugs.eclipse.org/bugs/show_bug.cgi?id=351533">bug 351533</ulink>.
 	  </para>
 	</section>