diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e
index 6ddfb784..67820eee 100644
--- a/library/server/wsf/src/wsf_request.e
+++ b/library/server/wsf/src/wsf_request.e
@@ -1369,7 +1369,7 @@ feature -- URL Utility
 			if s = Void then
 				if
 					server_protocol.count >= 5 and then
-					server_protocol.substring (1, 5).is_case_insensitive_equal_general ("https")
+					server_protocol.substring (1, 5).is_case_insensitive_equal ("https")
 				then
 					create s.make_from_string ("https://")
 				else