diff --git a/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties b/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
index abb04c4fe88155e3921ffc0a04586f6dd2e9c00b..9c7ebb742b23bfe2bdd301a151e650ac621b5db1 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
+++ b/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
@@ -1,10 +1,10 @@
-signalInvariantTooltip=This area signals whether the invariant is violated or not
-signalInvariantGood=invariant ok
+signalInvariantTooltip=This area signals whether the invariants are true or not
+signalInvariantGood=invariants ok
 signalInvariantBad=invariant violated!
 
 signalEventerrorTooltip=This area signals if an error occurred in an event
 signalEventerrorGood=no event errors detected
-signalEventerrorBad=event errors detected!
+signalEventerrorBad=event error(s) detected!
 
 signalModelmodifiedTooltip=This area signals whether the model has been changed. Doubleclick to reload it
 signalModelmodifiedBad=The model was modified!