diff --git a/.gitignore b/.gitignore
index d83558cf..b9eb7ce4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 EIFGENs
 tests/temp/
 .svn/
+*.swp
diff --git a/library/server/wsf/src/service/wsf_service_launcher.e b/library/server/wsf/src/service/wsf_service_launcher.e
index 90e2b9db..6499ae9a 100644
--- a/library/server/wsf/src/service/wsf_service_launcher.e
+++ b/library/server/wsf/src/service/wsf_service_launcher.e
@@ -51,8 +51,6 @@ feature {NONE} -- Initialization
 		end
 
 	frozen make_and_launch (a_service: like service; a_options: like options)
-		require
-			a_options_attached: a_options /= Void
 		do
 			make (a_service, a_options)
 			launch