diff --git a/src/Gyehoek/CPS/Eval.hs b/src/Gyehoek/CPS/Eval.hs
index f30a3c1..92f69ee 100644
--- a/src/Gyehoek/CPS/Eval.hs
+++ b/src/Gyehoek/CPS/Eval.hs
@@ -173,6 +173,7 @@ evalVal :: Env -> Val -> M Answer E
 evalVal g (ValVar x) = var g x >>= fetch
 
 evalVal g (ValImm imm) = pure case imm of
+  ImmLabel l -> error [i|#{l}|]
   ImmInt n -> EInt n
   ImmBool b -> EBool b
   ImmUndefined -> EUndefined
diff --git a/src/Gyehoek/Options.hs b/src/Gyehoek/Options.hs
index 2920180..f09c750 100644
--- a/src/Gyehoek/Options.hs
+++ b/src/Gyehoek/Options.hs
@@ -54,8 +54,8 @@ runtimeValues = ["stackify","wasm","cps","none"]
 runtimeReader = maybeReader \case
   "stackify" -> Just (Just Stackify)
   "wasm" -> Just (Just Wasm)
-  "cps" -> Just (Just CPS)
-  ("cps2";"higher-order-cps") -> Just (Just CPS)
+  "cps1" -> Just (Just CPS)
+  ("cps";"higher-order-cps") -> Just (Just HigherOrderCPS)
   "none" -> Just Nothing
   _ -> Nothing