diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 415d0d0fa97647b572193bc35a13892e09ef310f..3322b37631be3c009c68a0a03fd08223dc8ff5c3 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -2,3 +2,7 @@ David Collins:
 - copy to clipboard functionnality.
 - UI improvements.
 - "select a region" functionnality.
+
+Enrico Tröger:
+- patch to fix a crash.
+- patch to fix the -s CLI option