diff --git a/topics/basics/ide_infrastructure.md b/topics/basics/ide_infrastructure.md
index 96ce8d2ac..7187f0963 100644
--- a/topics/basics/ide_infrastructure.md
+++ b/topics/basics/ide_infrastructure.md
@@ -66,7 +66,8 @@ If logging is used only to report exceptions, use convenience method `thisLogger
 By default, all messages with level `INFO` and higher are written to log output file <path>idea.log</path>.
 To enable `DEBUG`/`TRACE` logging for specific categories, use <menupath>Help | Diagnostic Tools | Debug Log Settings</menupath>.
 
-When [internal mode](enabling_internal.md) is enabled, the currently running IDE log file can be opened using <menupath>Help | Open Log in Editor</menupath> or located in filesystem via <menupath>Help | Show Log in Finder/Explorer</menupath> action.
+To locate the log file, choose the <menupath>Help | Show Log in Finder/Explorer</menupath> action.
+When [internal mode](enabling_internal.md) is enabled, the currently running IDE log file can be opened using <menupath>Help | Open Log in Editor</menupath>.
 
 To locate it for a specific installation, see this [Knowledge Base article](https://intellij-support.jetbrains.com/hc/en-us/articles/206544519).
 See [Development Instance Sandbox Directory](ide_development_instance.md#the-development-instance-sandbox-directory) on how to find it for development instances.
@@ -81,4 +82,4 @@ NOTE: to restrict compatibility, declare [IDEs](plugin_compatibility.md) and [ve
 
 To obtain information about OS and Java VM, use [`SystemInfo`](upsource:///platform/util/src/com/intellij/openapi/util/SystemInfo.java).
 
-To access relevant configuration directories, see [`PathManager`](upsource:///platform/util/src/com/intellij/openapi/application/PathManager.java).
\ No newline at end of file
+To access relevant configuration directories, see [`PathManager`](upsource:///platform/util/src/com/intellij/openapi/application/PathManager.java).