diff --git a/prism/src/parser/ast/Module.java b/prism/src/parser/ast/Module.java
index 696c4a5f..6116693e 100644
--- a/prism/src/parser/ast/Module.java
+++ b/prism/src/parser/ast/Module.java
@@ -43,7 +43,7 @@ public class Module extends ASTElement
 	private ArrayList<Command> commands;
 	// Parent ModulesFile
 	private ModulesFile parent;
-	// Base module (if was constructed through renaming)
+	// Base module (if was constructed through renaming; null if not)
 	private String baseModule;
 
 	// Constructor