diff --git a/curl_externals.e b/curl_externals.e
index 2dd05cef..b62eda7e 100644
--- a/curl_externals.e
+++ b/curl_externals.e
@@ -67,8 +67,8 @@ feature -- Command
 
 	slist_append (a_list: POINTER; a_string: STRING_GENERAL): POINTER
 			-- Declared as curl_slist_append ().
+			-- note: call with a null `a_list' to get initialized pointer as Result
 		require
-			exists: a_list /= default_pointer
 			not_void: a_string /= Void
 		local
 			l_c_string: C_STRING