diff --git a/prism/src/prism/SBML2Prism.java b/prism/src/prism/SBML2Prism.java
index 33a1ac6c..02719ea1 100644
--- a/prism/src/prism/SBML2Prism.java
+++ b/prism/src/prism/SBML2Prism.java
@@ -2,7 +2,7 @@
 //	
 //	Copyright (c) 2002-
 //	Authors:
-//	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
+//	* Dave Parker <d.a.parker@cs.bham.ac.uk> (University of Birmingham/Oxford)
 //	
 //------------------------------------------------------------------------------
 //	
@@ -89,15 +89,15 @@ public class SBML2Prism extends Reactions2Prism implements EntityResolver
 	/**
 	 * Main method: load SBML file, process and send resulting PRISM file to stdout
 	 */
-	public void translate(File f) throws PrismException
+	public void translate(File file) throws PrismException
 	{
 		// Read in SBML
-		Document doc = parseSBML(f);
+		Document doc = parseSBML(file);
 		checkSBMLVersion(doc);
 		extractModelFromSBML(doc);
 		// Generate PRISM code
 		prismCodeHeader = "// File generated by automatic SBML-to-PRISM conversion\n";
-		prismCodeHeader += "// Original SBML file: " + f.getPath() + "\n\n";
+		prismCodeHeader += "// Original SBML file: " + file.getPath() + "\n\n";
 		convertToPRISMCode(System.out);
 	}