diff --git a/prism/README.txt b/prism/README.txt
index dd012a12..15f2418f 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -82,6 +82,7 @@ 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):
 
+ * Joachim Klein: Various bug fixes, especially related to LTL
  * Vojtech Forejt: Various model checking code, including multi-objective + GUI enhancements
  * Hongyang Qu: Multi-objective model checking
  * Mateusz Ujma: Bug fixes and GUI improvements