diff --git a/prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism
similarity index 78%
rename from prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism
index aeb502c2..5b83e1ce 100644
--- a/prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
+++ b/prism/etc/scripts/hoa/hoa-ltl3dra-tdgra-for-prism
@@ -1,8 +1,8 @@
 #! /bin/bash
 
-# Interface wrapper for calling ltl3dra (transition-based DRA)
+# Interface wrapper for calling ltl3dra (transition-based DGRA)
 # Invoke from PRISM with
-#  -ltl2datool hoa-ltl3dra-tgdra-for-prism -ltl2dasyntax spin
+#  -ltl2datool hoa-ltl3dra-tdgra-for-prism -ltl2dasyntax spin
 #
 # Expects the ltl3dra on the PATH, otherwise
 # specify its location using
@@ -26,5 +26,5 @@ if [ ! -z "$BUDDY_LIB" ]; then
     fi
 fi
 
-# -H2 = output deterministic transition-based Rabin in HOA format
+# -H2 = output deterministic transition-based generalized-Rabin in HOA format
 $LTL3DRA_BIN  -H2 -F "$1" > "$2"
diff --git a/prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism
similarity index 89%
rename from prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism
index 1bb8b3f8..a8a46753 100644
--- a/prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism
+++ b/prism/etc/scripts/hoa/hoa-rabinizer3-tdgra-for-prism
@@ -2,7 +2,7 @@
 
 # Interface wrapper for calling Rabinizer3 (transition-based DGRA)
 # Invoke from PRISM with
-#  -ltl2datool hoa-rabinizer3-tgdra-for-prism -ltl2dasyntax rabinizer
+#  -ltl2datool hoa-rabinizer3-tdgra-for-prism -ltl2dasyntax rabinizer
 #
 # Expects the rabinizer.jar file of Rabinizer3 in the current directory, otherwise
 # specify its location using