BugFix: incorrect semicolon