diff --git a/docs/bib.bib b/docs/bib.bib
index 7658e619c30367cb7d91ce10595c812cf6f8fee0..babc95f55795352f8c57e4ec83b2e2b155bbf5d9 100644
--- a/docs/bib.bib
+++ b/docs/bib.bib
@@ -135,8 +135,8 @@
 }
 
 @Misc{appendix,
-  title = 	 {Appendix and {Coq} development},
-  note = 	 {\url{http://plv.mpi-sws.org/iris}},
+  title = 	 {Appendix and {Coq} development. {Anonymous} supplementary material submitted with the paper.},
+  key = {A}
 }
 
 
@@ -3628,7 +3628,7 @@ year = {2013}
 
 @phdthesis{krebbers:phd,
   author      = {Robbert Krebbers},
-  title       = "{The C standard formalized in Coq}",
+  title       = {The C standard formalized in Coq},
   year        = {2015},
   school      = {Radboud University},
 }