diff --git a/prism/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc
index f4714f8d..31ac58b6 100644
--- a/prism/src/dd/dd_cudd.cc
+++ b/prism/src/dd/dd_cudd.cc
@@ -32,7 +32,7 @@
 extern FILE *dd_out;
 
 // A flag indicating that a CuDD error has occurred
-// that could not be signaled by returning a NULL DdNode*
+// that could not be signalled by returning a NULL DdNode*
 // from a function
 bool dd_cudd_error_flag = false;
 
@@ -240,7 +240,7 @@ bool DD_GetErrorFlag(DdManager *ddman)
 //-----------------------------------------------------------------------------------
 
 // Set the DD error flag. Should be set if a CuDD error has been
-// detected that could not be signaled by returning a NULL DdNode*
+// detected that could not be signalled by returning a NULL DdNode*
 // from the function
 void DD_SetErrorFlag()
 {
diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 752331d3..26f0a3e1 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -1399,7 +1399,7 @@ public class JDD
 
 	/**
 	 * Check whether the DD error flag is set, indicating an
-	 * out-of-meory situation in CuDD or another internal error.
+	 * out-of-memory situation in CuDD or another internal error.
 	 * If the flag is set, throws a {@code CuddOutOfMemoryException}.
 	 */
 	public static void checkForCuddError()