diff --git a/content/about.md b/content/about.md
index 3093ef9..53a561d 100644
--- a/content/about.md
+++ b/content/about.md
@@ -15,7 +15,7 @@ definition of privacy that is currently under extensive study.
 
 From the verification side, I am interested in using formal methods---such as
 [type systems](http://en.wikipedia.org/wiki/Type_system) and [program
-logics](http://en.wikipedia.org/wiki/Hoare_logic))---to verify that programs are
+logics](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs are
 differentially private. From the algorithms side, I am interested in
 applications of differential privacy to optimization, machine learning, and
 mechanism design.