Bugfix: syntax error, missing )