--- a/publications.html	Sun Nov 04 08:45:04 2012 +0000
+++ b/publications.html	Tue Nov 06 00:04:58 2012 +0000
@@ -279,7 +279,7 @@
 <p><B>Nominal Logic Programming.</B> (with Cheney)
       In <A HREF="http://dl.acm.org/citation.cfm?id=1387675">
       ACM Transactions on Programming Languages and Systems</A>, 
-      2008, Vol. 30(5), pages 26:1-26:47.
+      2008, Vol. 30(5), Pages 26:1-26:47.
 </TD>
 </TR>