diff --git a/Deep-Verification-Base.md b/Deep-Verification-Base.md
index 797c0be..b5d613b 100644
--- a/Deep-Verification-Base.md
+++ b/Deep-Verification-Base.md
@@ -2,7 +2,7 @@ The Deep Verification Base development happens in the "dvb" branch: https://gith
 
 Updates:
 * [[2018-12-31 First functional implementation of a netlist extractor|2018-12-31]]
-* [[2019-01-07 Stable, performance improvement, functionality|2019-01-07]]
+* [[2019-01-07 Stable implemenation + performance improvements, additional functionality|2019-01-07]]
 
 # The problem