Bugfix: syntax error