(trivial) fix missing semicolon