diff --git a/README.md b/README.md
index 3f4c632..341fc20 100644
--- a/README.md
+++ b/README.md
@@ -87,7 +87,9 @@ $ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples
 
 ## Usage
 
-DeepState consists of a static library, used to write test harnesses, and command-line _executors_ written in Python. At this time, the best documentation are the [examples](/examples) and our [paper](https://agroce.github.io/bar18.pdf).
+DeepState consists of a static library, used to write test harnesses, and command-line _executors_ written in Python. At this time, the best documentation is in the [examples](/examples) and in our [paper](https://agroce.github.io/bar18.pdf).
+
+DeepState is currently more stable (and faster) when using angr as a backend than when using manticore.
 
 ## Contributing