Index: lib/util.c
===================================================================
--- lib/util.c.orig	2010-07-05 21:12:51.000000000 +0200
+++ lib/util.c	2010-07-06 19:19:06.919536838 +0200
@@ -853,6 +853,8 @@ strip_ctrl_codes (char *s)
                 /* strchr() matches trailing binary 0 */
                 while (*(++r) && strchr ("0123456789;?", *r));
             }
+            else if (*r == '(')
+	            r++;
             else if (*r == ']')
             {
                 /*