diff --git a/src/fs-filo-vfs.adb b/src/fs-filo-vfs.adb
index 660a1cf..2c75549 100644
--- a/src/fs-filo-vfs.adb
+++ b/src/fs-filo-vfs.adb
@@ -5,8 +5,7 @@
 
 package body FS.FILO.VFS
 with
-   SPARK_Mode => Off,
-   Convention => C
+   SPARK_Mode => Off
 is
 
    State : T := Initial;
diff --git a/src/fs-filo-vfs.ads b/src/fs-filo-vfs.ads
index 2b6dd52..7e756d7 100644
--- a/src/fs-filo-vfs.ads
+++ b/src/fs-filo-vfs.ads
@@ -47,7 +47,10 @@
       Pre => Is_Open (State),
       Post => Is_Open (State);
 
-package FS.FILO.VFS is
+package FS.FILO.VFS
+with
+   Convention => C
+is
 
    function C_Mount return int;