diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f966e1c7..538aad5d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@ jobs:
         with:
           ocaml-version: ${{ matrix.ocaml-version }}
 
-      - run: opam install ocamlformat.0.22.4
+      - run: opam install ocamlformat.0.24.1
       - run: opam exec -- make fmt-check
       - run: opam pin add coq ${{ matrix.coq-version }}
       - run: opam pin add coq-of-ocaml.dev . --no-action
diff --git a/.ocamlformat b/.ocamlformat
index 4e4d8739..9bc3c7b2 100644
--- a/.ocamlformat
+++ b/.ocamlformat
@@ -1 +1 @@
-version=0.22.4
+version=0.24.1
diff --git a/src/pathName.ml b/src/pathName.ml
index e299f436..0a362ed7 100644
--- a/src/pathName.ml
+++ b/src/pathName.ml
@@ -119,7 +119,10 @@ let of_path_without_convert (is_value : bool) (path : Path.t) : t Monad.t =
         aux path >>= fun (path, base) ->
         Name.of_string is_value field >>= fun field ->
         return (base :: path, field)
-    | Path.Papply _ -> failwith "Unexpected functor path application"
+    | Path.Papply _ ->
+        let name = Path.name path in
+        raise ([], Name.Make name) Unexpected
+          ("Unexpected functor path application " ^ Path.name path)
   in
   aux path >>= fun (path, base) -> return (of_name (List.rev path) base)
 
@@ -127,15 +130,18 @@ let of_path_with_convert (is_value : bool) (path : Path.t) : t Monad.t =
   of_path_without_convert is_value path >>= fun path -> convert path
 
 let of_path_and_name_with_convert (path : Path.t) (name : Name.t) : t Monad.t =
-  let rec aux p : (Name.t list * Name.t) Monad.t =
-    match p with
+  let rec aux path : (Name.t list * Name.t) Monad.t =
+    match path with
     | Path.Pident x ->
         let* path, base = split_ident false x in
         return (path @ [ base ], name)
-    | Path.Pdot (p, s) ->
-        aux p >>= fun (path, base) ->
+    | Path.Pdot (path, s) ->
+        aux path >>= fun (path, base) ->
         Name.of_string false s >>= fun s -> return (path @ [ s ], base)
-    | Path.Papply _ -> failwith "Unexpected functor path application"
+    | Path.Papply _ ->
+        let name = Path.name path in
+        raise ([], Name.Make name) Unexpected
+          ("Unexpected functor path application " ^ Path.name path)
   in
   aux path >>= fun (path, base) -> convert (of_name path base)