diff --git a/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java b/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
index 1c67eac1a1ab18703e300e15f1bc5467947f68a8..ec725c278d31e1446faa679b4700d21881d140f8 100644
--- a/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
+++ b/src/main/java/ai/AIDiagramCoherencyWithFormalRules.java
@@ -60,9 +60,9 @@ public class AIDiagramCoherencyWithFormalRules extends AIInteract {
             "{incoherencies: [{ \"diagram\" : \"diagram1 or diagram2\", \"description\": \"description of the incoherency\"}..." +
             "]}" +
             "#Respect: In a block diagram, the blocks representing actors as defined in the use-case diagram must bear identical names to their " +
-            "corresponding use-cases.\n" +
-            "#Respect: In a block diagram, blocks representing actors from the use-case diagram must not be connected together.\n" +
-            "#Repect: In a block diagram, a block representing an actor from the use-case diagram must be interconnected with at least one block " +
+            "corresponding use cases.\n" +
+            "#Respect: In a block diagram, blocks representing actors from the use case diagram must not be connected together.\n" +
+            "#Repect: In a block diagram, a block representing an actor from the use case diagram must be interconnected with at least one block " +
             "that doesn't represent an actor." +
             "#Respect: Give any incoherency you can identify concerning the two provided diagrams"
            ;
diff --git a/src/main/java/ui/window/JFrameAI.java b/src/main/java/ui/window/JFrameAI.java
index 75ea61015a6d9d5be93cf6de4a3615dae6a2a1da..5af7ffd8b74aeb3ffd1296933781de4e3a9f1362 100644
--- a/src/main/java/ui/window/JFrameAI.java
+++ b/src/main/java/ui/window/JFrameAI.java
@@ -85,7 +85,7 @@ public class JFrameAI extends JFrame implements ActionListener {
             "DEPRECATED - Identify software blocks - Provide a system specification",
             "DEPRECATED - Identify state machines - Select a block diagram. Additionally, you can provide a system specification",
             "Identify state machines and attributes - Select a block diagram. Additionally, you can provide a system specification",
-            "A(I)MULET - Select a block diagram first",
+            "Model mutation - A(I)MULET - Select a block diagram first",
             "Diagram coherency",
             "Diagram coherency with formal rules",
             "Capec tracer - Identify the possible attack patterns that an attacker could use to exploit your system specifications."};