diff --git a/docs/api.rst b/docs/api.rst
index 2908127..54c75f3 100644
--- a/docs/api.rst
+++ b/docs/api.rst
@@ -48,8 +48,10 @@ Models
 EVM
 ---
 .. automodule:: manticore.platforms.evm
-.. automodule:: manticore.ethereum
-    :members:
+.. autoclass:: manticore.ethereum.ABI
+   :members:
+.. autoclass:: manticore.ethereum.ManticoreEVM
+   :members:
 
 EVM Assembler
 -------------
diff --git a/manticore/ethereum.py b/manticore/ethereum.py
index effcdf6..182cfb3 100644
--- a/manticore/ethereum.py
+++ b/manticore/ethereum.py
@@ -1273,6 +1273,11 @@ class ManticoreEVM(Manticore):
                 statef.write(iterpickle.dumps(state, 2))
 
     def finalize(self):
+        """
+        Terminate and generate testcases for all currently alive states (contract states that cleanly executed
+        to a STOP or RETURN in the last symbolic transaction).
+        """
+
         # move runnign states to final states list
         # and generate a testcase for each
         q = Queue()