Box selection tool: add some missing semicolons