--- a/LMCS-Paper/document/root.tex	Thu Dec 29 18:05:13 2011 +0000
+++ b/LMCS-Paper/document/root.tex	Mon Jan 09 10:12:46 2012 +0000
@@ -68,8 +68,8 @@
 \title[Genral Bindings]{General Bindings and Alpha-Equivalence in Nominal
 Isabelle$^\star$}
 \author{Christian Urban} 
-\address{Technical University of Munich, Germany}	
-\email{urbanc@in.tum.de}
+\address{King's College London, United Kingdom}	
+\email{christian.urban@kcl.ac.uk}
 
 \author{Cezary Kaliszyk}
 \address{University of Tsukuba, Japan}
@@ -85,7 +85,7 @@
 programming language calculi involving named bound variables (as
 opposed to de-Bruijn indices). In this paper we present an extension of
 Nominal Isabelle for dealing with general bindings, that means
-term-constructors where multiple variables are bound at once. Such general
+term constructors where multiple variables are bound at once. Such general
 bindings are ubiquitous in programming language research and only very
 poorly supported with single binders, such as lambda-abstractions. Our
 extension includes new definitions of alpha-equivalence and establishes