bugfix for syntax error