Minor clarification.

diff --git a/etc/NEWS b/etc/NEWS
index 6dabf4f242925b57de71714ac96eaa142e1502e2..c069d6290ab6a644c8fe0efbc3fa44e22d32eb96 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -2198,7 +2198,8 @@ See the sections below for details.
 
 ** Since `format' preserves text properties, the idiom
 `(format "%s" foo)' no longer works to copy and remove properties.
-Use `copy-sequence' and `set-text-properties'.
+Use `copy-sequence' to copy the string, then use `set-text-properties'
+to remove the properties of the copy.
 
 ** Since the `keymap' text property now has significance, some code
 which uses both `local-map' and `keymap' properties (for portability)