bugfix in syntax test