diff --git a/install.php b/install.php
index 1cc8ed81..c934c984 100644
--- a/install.php
+++ b/install.php
@@ -147,7 +147,8 @@
 						</p>';
 					break;
 				}
-				
+			case 'v0.9.4-dev-4':
+				// nothing
 			case false:
 				// Update version number
 				file_write($config['has_installed'], VERSION);