diff --git a/libs/contrib/System/Path.idr b/libs/contrib/System/Path.idr
index 637faf835..55e65bda4 100644
--- a/libs/contrib/System/Path.idr
+++ b/libs/contrib/System/Path.idr
@@ -395,9 +395,9 @@ parseBody = do text <- match PTText
 private
 parsePath : Grammar PathToken False Path
 parsePath = do vol <- optional parseVolumn
-               root <- optional bodySeparator
-               body <- sepBy bodySeparator parseBody
-               trailSep <- optional bodySeparator
+               root <- optional (some bodySeparator)
+               body <- sepBy (some bodySeparator) parseBody
+               trailSep <- optional (some bodySeparator)
                pure $ MkPath vol (isJust root) body (isJust trailSep)
 
 ||| Attempt to parse a String into Path.
diff --git a/src/Idris/ModTree.idr b/src/Idris/ModTree.idr
index d693a4563..18cc0ca1d 100644
--- a/src/Idris/ModTree.idr
+++ b/src/Idris/ModTree.idr
@@ -231,7 +231,7 @@ buildDeps fname
                        clearCtxt; addPrimitives
                        put MD initMetadata
                        mainttc <- getTTCFileName fname ".ttc"
-                       log 10 $ "Reloading " ++ show mainttc
+                       log 10 $ "Reloading " ++ show mainttc ++ " from " ++ fname
                        readAsMain mainttc
 
                        -- Load the associated metadata for interactive editing
diff --git a/src/Utils/Path.idr b/src/Utils/Path.idr
index d608a7fa8..45ab1fc9e 100644
--- a/src/Utils/Path.idr
+++ b/src/Utils/Path.idr
@@ -212,9 +212,9 @@ parseBody = do text <- match PTText
 
 parsePath : Grammar PathToken False Path
 parsePath = do vol <- optional parseVolume
-               root <- optional bodySeparator
-               body <- sepBy bodySeparator parseBody
-               trailSep <- optional bodySeparator
+               root <- optional (some bodySeparator)
+               body <- sepBy (some bodySeparator) parseBody
+               trailSep <- optional (some bodySeparator)
                let body = filter (\case Normal s => ltrim s /= ""
                                         _ => True) body
                pure $ MkPath vol (isJust root) body (isJust trailSep)