diff --git a/saw-remote-api/src/SAWServer.hs b/saw-remote-api/src/SAWServer.hs
index 08f3f40246..260a338356 100644
--- a/saw-remote-api/src/SAWServer.hs
+++ b/saw-remote-api/src/SAWServer.hs
@@ -212,6 +212,7 @@ initialState readFileFn =
                 , roBasicSS = ss
                 , roStackTrace = []
                 , roSubshell = fail "SAW server does not support subshells."
+                , roProofSubshell = fail "SAW server does not support subshells."
                 , roLocalEnv = []
                 }
          rw = TopLevelRW
diff --git a/saw-remote-api/src/SAWServer/Eval.hs b/saw-remote-api/src/SAWServer/Eval.hs
index 7e783f32f2..de03e61f67 100644
--- a/saw-remote-api/src/SAWServer/Eval.hs
+++ b/saw-remote-api/src/SAWServer/Eval.hs
@@ -75,7 +75,8 @@ instance Doc.DescribedMethod (EvalParams Bool cryptolExpr) (EvalResult Bool) whe
       Doc.Paragraph [Doc.Text "The boolean value of the expresssion."])
     ]
 
-eval :: (TypedTerm -> SV.TopLevel a) -> EvalParams a Expression -> Argo.Command SAWState (EvalResult a)
+eval :: (SV.FromValue a, SV.IsValue a) =>
+  (TypedTerm -> SV.TopLevel a) -> EvalParams a Expression -> Argo.Command SAWState (EvalResult a)
 eval f params = do
   state <- Argo.getState
   fileReader <- Argo.getFileReader