--- a/publications.html	Mon Aug 27 19:35:04 2012 +0100
+++ b/publications.html	Wed Aug 29 02:47:28 2012 +0100
@@ -105,7 +105,7 @@
 <H3>2012</H3>
 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> 
       (with Kaliszyk) Journal of Logical
-      Methods in Computer Science, Volume 8 (2:14), 2012.
+      Methods in Computer Science, Volume 8 (2:14), 2012. 35 pages. 
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
 
 <p><b>Priority Inheritance Protocol Proved Correct.</B>