diff --git a/pantograph/server.py b/pantograph/server.py
index 0b6a549..5f8278c 100644
--- a/pantograph/server.py
+++ b/pantograph/server.py
@@ -317,6 +317,7 @@ async def tactic_invocations_async(self, file_name: Union[str, Path]) -> List[Co
             'invocations': True,
             "sorrys": False,
             "newConstants": False,
+            "typeErrorsAsGoals": False,
         })
         if "error" in result:
             raise ServerError(result)