RUNTIME: fix semicolon