diff --git a/src/TTImp/Elab/RunElab.idr b/src/TTImp/Elab/RunElab.idr
index cd1ec4622c..bf1ef2e4d9 100644
--- a/src/TTImp/Elab/RunElab.idr
+++ b/src/TTImp/Elab/RunElab.idr
@@ -274,7 +274,7 @@ elabScript rig fc nest env script@(NDCon nfc nm t ar args) exp
              ty <- getTerm gty
              scriptRet (Just $ map rawName $ !(unelabUniqueBinders env ty))
     elabCon defs "LocalVars" [<]
-        = scriptRet vars
+        = scriptRet (the (List Name) (cast vars))
     elabCon defs "GenSym" [<str]
         = do str' <- evalClosure defs str
              n <- genVarName !(reify defs str')