diff --git a/lean4-infoview/src/infoview/info.tsx b/lean4-infoview/src/infoview/info.tsx
index 9dbaa39f..c38cac5a 100644
--- a/lean4-infoview/src/infoview/info.tsx
+++ b/lean4-infoview/src/infoview/info.tsx
@@ -61,7 +61,7 @@ const InfoStatusBar = React.memo((props: InfoStatusBarProps) => {
         ready: '',
     }
     const statusColor = statusColTable[status]
-    const locationString = `${basename(pos.uri)}:${pos.line + 1}:${pos.character}`
+    const locationString = `${basename(decodeURIComponent(pos.uri))}:${pos.line + 1}:${pos.character}`
     const isPinned = kind === 'pin'
 
     const spinnerStyle: React.CSSProperties = {