Bugfix: fixed a syntax-error