BugFix: syntax definition