diff --git a/index.html b/index.html
index 5b26715..d8bd6c4 100644
--- a/index.html
+++ b/index.html
@@ -47,7 +47,7 @@ <h2><a href="https://dafny.org/blog"><b>Blog</b></a><iframe src="/blog/" style="
 and is equipped with a static program verifier.
 By blending sophisticated automated reasoning with familiar programming idioms and tools,
 Dafny empowers developers to write provably correct code (w.r.t. specifications).
-It also compiles Dafny code to familiar development environments such as C#, Java, JavaScript and Go (with more in progress, such as Python) so Dafny can integrate with your existing workflow.
+It also compiles Dafny code to familiar development environments such as C#, Java, JavaScript, Go and Python (with more to come) so Dafny can integrate with your existing workflow.
 Dafny makes rigorous verification an integral part of development,
 thus reducing costly late-stage bugs that may be missed by testing.
 </p>