diff --git a/examples/restbucksCRUD/src/resource/order_handler.e b/examples/restbucksCRUD/src/resource/order_handler.e
index dd2422b4..057a3a95 100644
--- a/examples/restbucksCRUD/src/resource/order_handler.e
+++ b/examples/restbucksCRUD/src/resource/order_handler.e
@@ -53,21 +53,21 @@ feature -- API DOC
 
 feature -- HTTP Methods
 
-	do_get (a_req: WSF_REQUEST; a_res: WSF_RESPONSE)
+	do_get (req: WSF_REQUEST; res: WSF_RESPONSE)
 			-- <Precursor>
 		local
 			id:  STRING
 		do
-			if attached a_req.orig_path_info as orig_path then
+			if attached req.orig_path_info as orig_path then
 				id := get_order_id_from_path (orig_path)
 				if attached retrieve_order (id) as l_order then
-					if is_conditional_get (a_req, l_order) then
-						handle_resource_not_modified_response ("The resource" + orig_path + "does not change", a_req, a_res)
+					if is_conditional_get (req, l_order) then
+						handle_resource_not_modified_response ("The resource" + orig_path + "does not change", req, res)
 					else
-						compute_response_get (a_req, a_res, l_order)
+						compute_response_get (req, res, l_order)
 					end
 				else
-					handle_resource_not_found_response ("The following resource" + orig_path + " is not found ", a_req, a_res)
+					handle_resource_not_found_response ("The following resource" + orig_path + " is not found ", req, res)
 				end
 			end
 		end
@@ -87,7 +87,7 @@ feature -- HTTP Methods
 			end
 		end
 
-	compute_response_get (a_req: WSF_REQUEST; a_res: WSF_RESPONSE; l_order: ORDER)
+	compute_response_get (req: WSF_REQUEST; res: WSF_RESPONSE; l_order: ORDER)
 		local
 			h: HTTP_HEADER
 			l_msg : STRING
@@ -99,13 +99,13 @@ feature -- HTTP Methods
 			if attached {JSON_VALUE} json.value (l_order) as jv then
 				l_msg := jv.representation
 				h.put_content_length (l_msg.count)
-				if attached a_req.request_time as time then
+				if attached req.request_time as time then
 					h.add_header ("Date:" + time.formatted_out ("ddd,[0]dd mmm yyyy [0]hh:[0]mi:[0]ss.ff2") + " GMT")
 				end
 				h.add_header ("etag:" + etag_utils.md5_digest (l_order.out))
-				a_res.set_status_code ({HTTP_STATUS_CODE}.ok)
-				a_res.put_header_text (h.string)
-				a_res.put_string (l_msg)
+				res.set_status_code ({HTTP_STATUS_CODE}.ok)
+				res.put_header_text (h.string)
+				res.put_string (l_msg)
 			end
 		end
 
diff --git a/library/server/wsf/extension/wsf_method_handler.e b/library/server/wsf/extension/wsf_method_handler.e
index b0eb5743..0b76e1f6 100644
--- a/library/server/wsf/extension/wsf_method_handler.e
+++ b/library/server/wsf/extension/wsf_method_handler.e
@@ -10,16 +10,16 @@ deferred class	WSF_METHOD_HANDLER
 
 feature -- Method
 
-	do_method (a_req: WSF_REQUEST; a_res: WSF_RESPONSE)
-			-- Respond to `a_req' using `a_res'.
+	do_method (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
 		require
-			a_req_not_void: a_req /= Void
-			a_res_not_void: a_res /= Void
+			req_not_void: req /= Void
+			res_not_void: res /= Void
 		deferred
 		ensure
-			valid_response_for_http_1_0: is_1_0 (a_req.server_protocol) implies
-				valid_response_for_http_1_0 (a_res.status_code)
-			empty_body_for_no_content_response: is_no_content_response (a_res.status_code) implies is_empty_content (a_res)
+			valid_response_for_http_1_0: is_1_0 (req.server_protocol) implies
+				valid_response_for_http_1_0 (res.status_code)
+			empty_body_for_no_content_response: is_no_content_response (res.status_code) implies is_empty_content (res)
 		end
 
 feature -- Contract support
@@ -60,12 +60,12 @@ feature -- Contract support
 			end
 		end
 
-	is_empty_content (a_res: WSF_RESPONSE): BOOLEAN
-			-- Does `a_res' not contain an entity?
+	is_empty_content (res: WSF_RESPONSE): BOOLEAN
+			-- Does `res' not contain an entity?
 		require
-			a_res_not_void: a_res /= Void
+			res_not_void: res /= Void
 		do
-			Result := a_res.transfered_content_length = 0 -- Is that the right measure?
+			Result := res.transfered_content_length = 0 -- Is that the right measure?
 		end
 
 end
diff --git a/library/server/wsf/extension/wsf_method_handlers.e b/library/server/wsf/extension/wsf_method_handlers.e
index 7fdae634..06e828c1 100644
--- a/library/server/wsf/extension/wsf_method_handlers.e
+++ b/library/server/wsf/extension/wsf_method_handlers.e
@@ -49,28 +49,28 @@ inherit
 
 feature -- Method
 
-	do_head (a_req: WSF_REQUEST; a_res: WSF_RESPONSE)
-			-- Respond to `a_req' using `a_res'.
+	do_head (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
 		deferred
 		ensure then
-			empty_body: is_empty_content (a_res)			
+			empty_body: is_empty_content (res)			
 		end
 
-	do_post (a_req: WSF_REQUEST; a_res: WSF_RESPONSE)
-			-- Respond to `a_req' using `a_res'.
+	do_post (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
 		deferred
 		ensure then
-			non_empty_body: a_res.status_code =  {HTTP_STATUS_CODE}.created implies
-				not is_empty_content (a_res)
-			location_header: a_res.status_code =  {HTTP_STATUS_CODE}.created implies True -- WSF_RESPONSE needs enhancing
+			non_empty_body: res.status_code =  {HTTP_STATUS_CODE}.created implies
+				not is_empty_content (res)
+			location_header: res.status_code =  {HTTP_STATUS_CODE}.created implies True -- WSF_RESPONSE needs enhancing
 		end
 
-	do_trace (a_req: WSF_REQUEST; a_res: WSF_RESPONSE)
-			-- Respond to `a_req' using `a_res'.
+	do_trace (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
 		deferred
 		ensure then
-			non_empty_body: a_res.status_code =  {HTTP_STATUS_CODE}.ok implies
-				not is_empty_content (a_res)
+			non_empty_body: res.status_code =  {HTTP_STATUS_CODE}.ok implies
+				not is_empty_content (res)
 		end
 
 end