diff --git a/src/Disco/Compile.hs b/src/Disco/Compile.hs
index c0b39673..51eb9e80 100644
--- a/src/Disco/Compile.hs
+++ b/src/Disco/Compile.hs
@@ -361,7 +361,6 @@ compilePrim _ PrimUntil = return $ CConst OUntil
 compilePrim _ PrimHolds = return $ CConst OHolds
 compilePrim _ PrimLookupSeq = return $ CConst OLookupSeq
 compilePrim _ PrimExtendSeq = return $ CConst OExtendSeq
-
 compilePrim ty PrimMin = desugaredPrimErr PrimMin ty
 compilePrim ty PrimMax = desugaredPrimErr PrimMax ty
 
diff --git a/src/Disco/Desugar.hs b/src/Disco/Desugar.hs
index 6a16b4d1..372daddc 100644
--- a/src/Disco/Desugar.hs
+++ b/src/Disco/Desugar.hs
@@ -44,7 +44,6 @@ import Disco.Syntax.Prims
 import Disco.Typecheck (containerTy)
 import Disco.Types
 import Polysemy (Member, Sem, run)
-import Prelude hiding (unzip)
 import Unbound.Generics.LocallyNameless (
   Bind,
   Name,
@@ -56,6 +55,7 @@ import Unbound.Generics.LocallyNameless (
   unrebind,
  )
 import Unbound.Generics.LocallyNameless.Unsafe (unsafeUnbind)
+import Prelude hiding (unzip)
 
 ------------------------------------------------------------
 -- Running desugaring computations
diff --git a/src/Disco/Effects/LFresh.hs b/src/Disco/Effects/LFresh.hs
index 9c3cd033..2d7ab87f 100644
--- a/src/Disco/Effects/LFresh.hs
+++ b/src/Disco/Effects/LFresh.hs
@@ -43,7 +43,7 @@ runLFresh' =
       let s = name2String nm
       used <- ask
       let ok n = S.notMember (AnyName n) used
-      pureT $ iterUntil (+1) (gate ok . makeName s) 0
+      pureT $ iterUntil (+ 1) (gate ok . makeName s) 0
     Avoid names m -> do
       m' <- runT m
       raise (subsume (runLFresh' (local (S.union (S.fromList names)) m')))