diff --git a/exe/Main.idr b/exe/Main.idr
index 2329980..72232bf 100644
--- a/exe/Main.idr
+++ b/exe/Main.idr
@@ -35,7 +35,7 @@ main : IO ()
 main = do
   seen <- newIORef SortedSet.empty
   defs <- newIORef SortedMap.empty
-  suf  <- newIORef $ the Nat 0
+  suf  <- newIORef 0
   for_ (drop 1 !getArgs) $ \file => do
     putStrLn "checking \{file}"
     Right res <- fromParserIO ["."] seen suf defs $ loadProcessFile noLoc file
diff --git a/lib/Quox/Parser/FromParser.idr b/lib/Quox/Parser/FromParser.idr
index f307f73..e8282c4 100644
--- a/lib/Quox/Parser/FromParser.idr
+++ b/lib/Quox/Parser/FromParser.idr
@@ -5,7 +5,7 @@ import public Quox.Parser.FromParser.Error as Quox.Parser.FromParser
 
 import Quox.Parser.Syntax
 import Quox.Parser.Parser
-import Quox.Parser.LoadFile
+import public Quox.Parser.LoadFile
 import Quox.Typechecker
 
 import Data.List