A few type declarations are missing semicolons, which offends some editors