diff --git a/python/resources/tips/Terminal.html b/python/resources/tips/Terminal.html
index 0946f5bfbc9f..fcebc658521a 100644
--- a/python/resources/tips/Terminal.html
+++ b/python/resources/tips/Terminal.html
@@ -5,7 +5,7 @@
 <body>
 
 
-    <p>You don't need to leave PyCharm to work with your favorite shell. Just choose 
+    <p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose 
 <span class="control">Tools | Open Terminal</span> on the main menu, 
 and enjoy using the embedded local terminal. </p>
     <p class="image"><img src="images/terminal.png"></p>
diff --git a/resources-en/src/tips/Terminal.html b/resources-en/src/tips/Terminal.html
index 84957c7b2e8f..fcebc658521a 100644
--- a/resources-en/src/tips/Terminal.html
+++ b/resources-en/src/tips/Terminal.html
@@ -5,7 +5,7 @@
 <body>
 
 
-    <p>You don't need to leave WebStorm to work with your favorite shell. Just choose 
+    <p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose 
 <span class="control">Tools | Open Terminal</span> on the main menu, 
 and enjoy using the embedded local terminal. </p>
     <p class="image"><img src="images/terminal.png"></p>
