diff --git a/bibliography.bib b/bibliography.bib
index 37e2258..80e4d2c 100644
--- a/bibliography.bib
+++ b/bibliography.bib
@@ -1,6 +1,6 @@
 @InProceedings{Dep2007,
-author={{{Condit}, Jeremy and {Harren}, Matthew and {Anderson}, Zachary and
-  {Gay}, David and {Necula}, George C.}},
+author={{Condit}, Jeremy and {Harren}, Matthew and {Anderson}, Zachary and
+  {Gay}, David and {Necula}, George C.},
 title={{Dependent Types for Low-Level Programming}},
 booktitle={{Programming Languages and Systems}},
 year={2007}