fix ) in tool.js