diff --git a/prism/README.txt b/prism/README.txt
index 85c03367..56b8f666 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -82,6 +82,8 @@ PRISM was created and is still actively maintained by:
 We gratefully acknowledge contributions to the PRISM code-base from various sources,
 including (in approximately reverse chronological order):
 
+ * Mateusz Ujma: Bug fixes and GUI improvements
+ * Vojtech Forejt: Symbolic/explicit-state model checking, GUI enhancements
  * Vincent Nimal: Approximate (simulation-based) model checking techniques
  * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI
  * Carlos Bederian (working with Pedro D'Argenio): LTL model checking for MDPs
diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 03f02b4d..0b6d87d6 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/prism/src/userinterface/properties/GUIMultiProperties.java
@@ -7,6 +7,7 @@
 //	* Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
 //	* Vincent Nimal <vincent.nimal@comlab.ox.ac.uk> (University of Oxford)
 //	* Vojtech Forejt <vojtech.forejt@cs.ox.ac.uk> (University of Oxford)
+//	* Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk> (University of Oxford)
 //	
 //------------------------------------------------------------------------------
 //