bugfix for syntax