diff --git a/lib/settings.php b/lib/settings.php
index 64ed5f5..f49c5a5 100644
--- a/lib/settings.php
+++ b/lib/settings.php
@@ -46,7 +46,7 @@ include($settingsFile);
 // Add ICEcoder settings to beginning of $ICEcoder array
 $ICEcoder = array(
 	"versionNo"		=> "1.5",
-	"codeMirrorDir"		=> "CodeMirror-3.0",
+	"codeMirrorDir"		=> "CodeMirror-3.01",
 	"demoMode"		=> false
 )+$ICEcoder;