diff --git a/tracetool b/tracetool
index b74b6301d2..534cc709f4 100755
--- a/tracetool
+++ b/tracetool
@@ -39,7 +39,7 @@ get_args()
 {
     local args
     args=${1#*\(}
-    args=${args%)*}
+    args=${args%\)*}
     echo "$args"
 }