diff --git a/ECTA/Plugin.hs b/ECTA/Plugin.hs
--- a/ECTA/Plugin.hs
+++ b/ECTA/Plugin.hs
@@ -37,6 +37,7 @@
 import Data.Containers.ListUtils (nubOrd)
 import Debug.Trace
 import Data.Either (partitionEithers)
+import Text.Read (readMaybe)
 
 
 plugin :: Plugin
@@ -97,8 +98,21 @@
         sp (s:str) = s:sp str
         sp [] = []
 
+
+defaultSize :: Int
+defaultSize = 5
+
+-- | Parses the options and returns the max expression size to use.
+-- limited to 5 by default.
+getExprSize :: [CommandLineOption] -> Int
+getExprSize (o:opts) | ("expr-size",'=':n) <- span (/= '=') o,
+                       Just x <- readMaybe n = x
+getExprSize _ = defaultSize
+  
+
 ectaPlugin :: [CommandLineOption] -> TypedHole -> [HoleFitCandidate] -> TcM [HoleFit]
 ectaPlugin opts TyH{..} scope  | Just hole <- tyHCt,
+                                 expr_size <- getExprSize opts,
                                  ty <- ctPred hole = do
       (fun_comps, scons) <- fmap (nubBy eqType . concat) . unzip <$> candsToComps scope
       let (local_comps, global_comps) = partitionEithers $ map to_e fun_comps
@@ -139,7 +153,7 @@
              let even_more_terms =
                   map (pp . prettyTerm) $
                     concatMap (getAllTerms . refold . reduceFully . flip filterType resNode )
-                              (rtkUpToKAtLeast1 argNodes scope_comps anyArg True 7)
+                              (rtkUpToKAtLeast1 argNodes scope_comps anyArg True expr_size)
              return $ map (RawHoleFit . text . unpack) $ ppterms  ++ even_more_terms
          _ ->  do liftIO $ putStrLn $  "Could not skeleton `" ++ showSDocUnsafe (ppr ty) ++"`"
                   return []
diff --git a/ecta-plugin.cabal b/ecta-plugin.cabal
--- a/ecta-plugin.cabal
+++ b/ecta-plugin.cabal
@@ -1,7 +1,7 @@
 name: ecta-plugin
 cabal-version: 1.24
 build-type: Simple
-version: 0.1.0
+version: 0.1.0.1
 author: Matthías Páll Gissurarson
 maintainer: mpg@mpg.is
 synopsis: Hole-Fit Synthesis using ECTAs