diff --git a/cli/src/main/kotlin/tools/samt/cli/ASTPrinter.kt b/cli/src/main/kotlin/tools/samt/cli/ASTPrinter.kt
index aac32b37..72008581 100644
--- a/cli/src/main/kotlin/tools/samt/cli/ASTPrinter.kt
+++ b/cli/src/main/kotlin/tools/samt/cli/ASTPrinter.kt
@@ -56,7 +56,7 @@ internal object ASTPrinter {
     }
 
     private fun dumpInfo(node: Node): String? = when (node) {
-        is FileNode -> gray(node.sourceFile.path.path)
+        is FileNode -> gray(node.sourceFile.path.toString())
         is RequestResponseOperationNode -> if (node.isAsync) red("async") else null
         is IdentifierNode -> yellow(node.name)
         is ImportBundleIdentifierNode -> yellow(node.name) + if (node.isWildcard) yellow(".*") else ""
diff --git a/cli/src/main/kotlin/tools/samt/cli/DiagnosticFormatter.kt b/cli/src/main/kotlin/tools/samt/cli/DiagnosticFormatter.kt
index 57e05bcd..167e11b2 100644
--- a/cli/src/main/kotlin/tools/samt/cli/DiagnosticFormatter.kt
+++ b/cli/src/main/kotlin/tools/samt/cli/DiagnosticFormatter.kt
@@ -141,7 +141,7 @@ internal class DiagnosticFormatter(
 
         // -----> <file path>:<location>
         append(gray(" ---> "))
-        append(diagnosticController.workingDirectory.relativize(errorSourceFilePath))
+        append(errorSourceFilePath.toString())
         if (message.highlights.isNotEmpty()) {
             val firstHighlight = message.highlights.first()
             val firstHighlightLocation = firstHighlight.location