--- a/firefox-devel.rst	Mon Oct 22 16:38:00 2012 +0300
+++ b/firefox-devel.rst	Mon Oct 29 14:33:58 2012 +0200
@@ -92,7 +92,9 @@
 
 Debugging JavaScript with Web Console.
 --------------------------------------
-::
+
+Instead of "Error Console" (press Ctrl+Shift+J) use "Web Console" (press
+Ctrl+Shift+K) in Firefox >=4.0::
 
   'console.log()', 'console.info()', 'console.warn()', 'console.error()'.