Tools: fix missing semicolons (minor)