diff --git a/prism/src/parser/visitor/ConvertForJltl2ba.java b/prism/src/parser/visitor/ConvertForJltl2ba.java
index 8f525fc6..5809149e 100644
--- a/prism/src/parser/visitor/ConvertForJltl2ba.java
+++ b/prism/src/parser/visitor/ConvertForJltl2ba.java
@@ -3,7 +3,7 @@
 //	Copyright (c) 2002-
 //	Authors:
 //	* Dave Parker <david.parker@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
-//	* Andrew Hinton <ug60axh@cs.bham.ac.uk> (University of Birmingham)
+//	* Carlos S. Bederián (Universidad Nacional de Córdoba)
 //	
 //------------------------------------------------------------------------------
 //