diff --git a/src/fs-filo-vfs.adb b/src/fs-filo-vfs.adb
index 75df52b..30f1bca 100644
--- a/src/fs-filo-vfs.adb
+++ b/src/fs-filo-vfs.adb
@@ -3,7 +3,11 @@
 
 use Interfaces.C;
 
-package body FS.FILO.VFS is
+package body FS.FILO.VFS
+with
+   SPARK_Mode => Off,
+   Convention => C
+is
 
    function C_Mount return int
    is
diff --git a/src/fs-filo-vfs.ads b/src/fs-filo-vfs.ads
index 95fa71d..6115554 100644
--- a/src/fs-filo-vfs.ads
+++ b/src/fs-filo-vfs.ads
@@ -13,11 +13,7 @@
 
    with procedure Read (Buf : out Buffer_Type; Len : out Natural);
 
-package FS.FILO.VFS
-with
-   SPARK_Mode => Off,
-   Convention => C
-is
+package FS.FILO.VFS is
 
    function C_Mount return int;