diff --git a/tests/lean/Uri.lean b/tests/lean/Uri.lean
index 969927e75a..acb9748d7b 100644
--- a/tests/lean/Uri.lean
+++ b/tests/lean/Uri.lean
@@ -44,7 +44,7 @@ def testUnicodeEscape :=
   true
 
 def testRoundTrip :=
-  assert! (fileUriToPath? (pathToUri "/temp/test.xml?😵=2022")) == "/temp/test.xml?😵=2022"
+  assert! (fileUriToPath? (pathToUri ("" / "temp" / "test.xml?😵=2022")) == ("" / "temp" / "test.xml?😵=2022" : System.FilePath))
   true
 
 def testInvalidFileUri :=