diff --git a/plugins/howto b/plugins/howto
index 5d3cfae67b0be5e9289a545bfb1bcd8587ad1909..3f86dcbff002bed8f8a39a031ebf16b05ba3dba9 100644
--- a/plugins/howto
+++ b/plugins/howto
@@ -16,7 +16,7 @@ Then, start TTool, and generate Java code from an avatar design model.
 
 2) Add the plugin reference in config.xml
 For example:
-<PLUGIN file data="../plugins/CustomizerAvatarCodeGeneration.jar" />
+<PLUGIN file="../plugins/CustomizerAvatarCodeGeneration.jar" package="."/>
 
 3) Load the configuration information in ConfigurationTTool.java
 
diff --git a/src/main/java/ui/window/JDialogAvatarModelChecker.java b/src/main/java/ui/window/JDialogAvatarModelChecker.java
index aa305937f5f2f3f283d8011d572ad8c3d0ad08ba..1f3f49304dc0592aa348060d85c6a16dfcfebac3 100644
--- a/src/main/java/ui/window/JDialogAvatarModelChecker.java
+++ b/src/main/java/ui/window/JDialogAvatarModelChecker.java
@@ -270,13 +270,15 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
 
 
         // RG
-        saveGraphAUT = new JCheckBox("Save RG (AUT format) in: (this option enables graph analysis)", graphSelected);
+        saveGraphAUT = new JCheckBox("Reachability Graph Generation", graphSelected);
         saveGraphAUT.addActionListener(this);
+	//saveGraphAUT.addSelectionListener(this);
         jp01.add(saveGraphAUT, c01);
         graphPath = new JTextField(graphDir);
         jp01.add(graphPath, c01);
-        saveGraphDot = new JCheckBox("Save RG (dotty format) in:", graphSelectedDot);
+        saveGraphDot = new JCheckBox("Save RG in dotty:", graphSelectedDot);
         saveGraphDot.addActionListener(this);
+	//saveGraphDot.setEnebaled(false);
         jp01.add(saveGraphDot, c01);
         graphPathDot = new JTextField(graphDirDot);
         jp01.add(graphPathDot, c01);
@@ -665,7 +667,8 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
         graphSelected = saveGraphAUT.isSelected();
         graphPath.setEnabled(saveGraphAUT.isSelected());
         graphSelectedDot = saveGraphDot.isSelected();
-        graphPathDot.setEnabled(saveGraphDot.isSelected());
+	saveGraphDot.setEnabled(saveGraphAUT.isSelected());
+        graphPathDot.setEnabled(saveGraphDot.isSelected() && saveGraphAUT.isSelected());
         if (generateDesign != null) {
             generateDesignSelected = generateDesign.isSelected();
         }