diff --git a/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e b/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
index e9f669db..6046dc2e 100644
--- a/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
+++ b/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
@@ -81,9 +81,8 @@ feature -- Element change
 	unset_http_server_name
 		do
 			http_server_name := Void
-				--| Missing postcondition
-				--| ensure 	
-				--| unser_http_server_name: http_server_name = Void.
+		ensure 	
+			unset_http_server_name: http_server_name = Void
 		end
 
 	set_http_server_port (v: like http_server_port)