--- a/pc	Sat Nov 29 00:08:23 2014 +0000
+++ b/pc	Sat Nov 29 13:53:34 2014 +0000
@@ -2,7 +2,7 @@
    http://www.cs.unibo.it/~asperti/
 Jesper Bengtson   (IT University of Copenhagen)
    http://www.itu.dk/people/jebe/
-Steffen Berghofer (Secunet Security Networks AG)
+Stefan Berghofer (Secunet Security Networks AG)
    http://wwwbroy.in.tum.de/~berghofe/
 Yves Bertot       (INRIA)
    http://www-sop.inria.fr/members/Yves.Bertot/