diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java
index 9cd5cfbb..f40b84d1 100644
--- a/prism/src/userinterface/model/GUIMultiModel.java
+++ b/prism/src/userinterface/model/GUIMultiModel.java
@@ -1054,7 +1054,8 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 		}
 
 		modelFilters = new GUIPrismFileFilter[GM_ENABLED ? 3 : 2];
-		modelFilters[FILTER_PRISM_MODEL] = new GUIPrismFileFilter("PRISM models (*.pm, *.nm, *.sm)");
+		modelFilters[FILTER_PRISM_MODEL] = new GUIPrismFileFilter("PRISM models (*.prism, *.pm, *.nm, *.sm)");
+		modelFilters[FILTER_PRISM_MODEL].addExtension("prism");
 		modelFilters[FILTER_PRISM_MODEL].addExtension("pm");
 		modelFilters[FILTER_PRISM_MODEL].addExtension("nm");
 		modelFilters[FILTER_PRISM_MODEL].addExtension("sm");