update NEWS

diff --git a/NEWS b/NEWS
index 0e5395b3b4e06a41d81e893a9e58864d1de2d340..d03de2f230e78df8fbda1e3614a786f8792fa525 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -22,8 +22,8 @@ which get added and removed for the specific users on login/logout and
 session activity/inactivity. These groups are only provided for custom setups,
 and mainly system services, to allow proper privilege separation.
 A video-streaming daemon uid would be a member of "audio" and "video", to get
-access to the sound and video devices, but no "normal" user ever belongs in
-the "audio" group, because he could listen to the built-in microphone with
+access to the sound and video devices, but no "normal" user should ever belong
+to the "audio" group, because he could listen to the built-in microphone with
 any ssh-session established from the other side of the world.
 
 /dev/serial/by-{id,path}/ now contains links for ttyUSB devices,