diff --git a/keymaerax-webui/src/main/resources/partials/license_dialog.html b/keymaerax-webui/src/main/resources/partials/license_dialog.html
index 5e811b6612..663f24b23d 100644
--- a/keymaerax-webui/src/main/resources/partials/license_dialog.html
+++ b/keymaerax-webui/src/main/resources/partials/license_dialog.html
@@ -2,7 +2,8 @@
     <h3 class="modal-title"><!--<i class="glyphicon glyphicon-thumbs-down"></i>-->KeYmaera X License</h3>
 </div>
 <div class="modal-body">
-    KeYmaera X version 4.0b1, Copyright (C) 2014-2015 Andre Platzer, Nathan Fulton, Stefan Mitsch, Ran Ji<br>
+    KeYmaera X version 4.0b1, Copyright (C) Carnegie Mellon University<br/>
+    2014-2015 Andre Platzer, Nathan Fulton, Ran Ji, Stefan Mitsch, Jan-David Quesel, Marcus Voelp<br>
     KeYmaera X comes with ABSOLUTELY NO WARRANTY. A full software license agreement follows.<br/>
     SOFTWARE LICENSE AGREEMENT<br>
     <!--ACADEMIC OR NON-PROFIT ORGANIZATION NONCOMMERCIAL RESEARCH USE ONLY-->