--- a/Debugger/DebugUI.py	Sat Sep 03 19:20:42 2016 +0200
+++ b/Debugger/DebugUI.py	Sun Sep 04 13:46:43 2016 +0200
@@ -983,7 +983,10 @@
         """
         Private method to handle the debugged program terminating.
         
-        @param status exit code of the debugged program (int)
+        @param status exit code of the debugged program
+        @type int
+        @param message exit message of the debugged program
+        @type str
         """
         self.viewmanager.exit()