bugfix: missing enclosing ) character