diff --git a/install.php b/install.php
index c934c984..6ccbb8bc 100644
--- a/install.php
+++ b/install.php
@@ -147,6 +147,7 @@
 						</p>';
 					break;
 				}
+			case 'v0.9.4-dev-3':
 			case 'v0.9.4-dev-4':
 				// nothing
 			case false: