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 0087ac5d4d6c7635e9fec361afa939996d3225da..4a11ee78dc2c071099794847157e962749782dd3 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
+++ b/de.prob.ui/src/de/prob/ui/stateview/StateViewStrings.properties
@@ -1,6 +1,6 @@
 signalInvariantTooltip=This area signals whether the invariants are true or not
-signalInvariantGood=invariants ok
-signalInvariantBad=invariant violated!
+signalInvariantGood=Invariants ok
+signalInvariantBad=Invariant violated!
 
 signalEventerrorTooltip=This area signals if an error occurred in an event for the current state
 signalEventerrorGood=No event errors detected