diff --git a/README.md b/README.md
index 5f79bfe..2fa3a75 100644
--- a/README.md
+++ b/README.md
@@ -5,6 +5,8 @@ These SQLite bindings are forked from IdrisWeb.
 
 To install:
 
+Make sure your idris command was built with libffi support (if not rebuild it so - you will need to create a custom.mk file - copy custom.mk-alldeps and edit it)
+
 idris --install sqlite.ipkg
 
 to test installation:
diff --git a/type-provider-demo/ErrorTest.idr b/type-provider-demo/ErrorTest.idr
index 93847f2..aeecc51 100644
--- a/type-provider-demo/ErrorTest.idr
+++ b/type-provider-demo/ErrorTest.idr
@@ -57,13 +57,3 @@ namespace Main
             putStrLn "Conference program"
             printRes program
             putStrLn "ok"
-
-
--- -}
--- -}
--- -}
--- -}
-
--- Local Variables:
--- idris-packages: ("lightyear" "sqlite" "effects")
--- End:
diff --git a/type-provider-demo/Parser.idr b/type-provider-demo/Parser.idr
index 9c568c9..5824e73 100644
--- a/type-provider-demo/Parser.idr
+++ b/type-provider-demo/Parser.idr
@@ -56,7 +56,3 @@ table = do token "create"
            token ")"
            pure (n,cs)
 
-
--- Local Variables:
--- idris-packages: ("lightyear")
--- End:
diff --git a/type-provider-demo/Test.idr b/type-provider-demo/Test.idr
index 5355e6e..a83724c 100644
--- a/type-provider-demo/Test.idr
+++ b/type-provider-demo/Test.idr
@@ -60,11 +60,3 @@ namespace Main
             putStrLn "ok"
 
 
--- -}
--- -}
--- -}
--- -}
-
--- Local Variables:
--- idris-packages: ("lightyear" "sqlite" "effects")
--- End: