Bug fix: Tools -> getToolManager()