diff --git a/src/plugins/server/kernel_project.ml b/src/plugins/server/kernel_project.ml
index 052bc13e3f8f7c87fa98a5e825c7c68797495250..2982af38085873d93939b0e0a4812c1decd47d1e 100644
--- a/src/plugins/server/kernel_project.ml
+++ b/src/plugins/server/kernel_project.ml
@@ -127,8 +127,8 @@ let () = Request.register ~page
 let () =
   Request.register
     ~kind:`GET
-    ~page ~name:"kernel.project.getSourceFiles"
-    ~descr:(Md.plain "Get the files of the current project")
+    ~page ~name:"kernel.project.getSourceFileNames"
+    ~descr:(Md.plain "Get the source file names of the current project")
     ~input:(module Junit) ~output:(module Jstring.Jlist)
     Kernel.Files.get