diff --git a/cryptol-remote-api/python/tests/cryptol/test_AES.py b/cryptol-remote-api/python/tests/cryptol/test_AES.py
index 65e155a07..a5289febd 100644
--- a/cryptol-remote-api/python/tests/cryptol/test_AES.py
+++ b/cryptol-remote-api/python/tests/cryptol/test_AES.py
@@ -28,8 +28,8 @@ def test_AES(self):
         decrypted_ct = c.call("aesDecrypt", (ct, key)).result()
         self.assertEqual(pt, decrypted_ct)
 
-        self.assertTrue(c.safe("aesEncrypt"))
-        self.assertTrue(c.safe("aesDecrypt"))
+        self.assertTrue(c.safe("aesEncrypt").result())
+        self.assertTrue(c.safe("aesDecrypt").result())
         self.assertTrue(c.check("AESCorrect").result().success)
         # c.prove("AESCorrect") # probably takes too long for this script...?
 
diff --git a/cryptol-remote-api/python/tests/cryptol/test_DES.py b/cryptol-remote-api/python/tests/cryptol/test_DES.py
index 9fd2b43e4..492e713ad 100644
--- a/cryptol-remote-api/python/tests/cryptol/test_DES.py
+++ b/cryptol-remote-api/python/tests/cryptol/test_DES.py
@@ -7,7 +7,7 @@
 
 
 class TestDES(unittest.TestCase):
-    def test_SHA256(self):
+    def test_DES(self):
         c = cryptol.connect(verify=False)
         c.load_file(str(Path('tests','cryptol','test-files','examples','DEStest.cry')))