diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 9d50fd5..9768f9d 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -125,7 +125,8 @@
                Gallego Arias, Emilio Jes{\'u}s and
                Hsu, Justin},
   title     = {Really naturally linear indexed type-checking},
-  booktitle = {Implementation of Functional Languages (IFL), Boston, Massachusetts},
+  booktitle = {Symposium on Implementation and Application of Functional
+    Programming Languages (IFL), Boston, Massachusetts},
   year      = {2014},
   url       = {http://arxiv.org/abs/1503.04522},
   jh        = yes,