fix error in tools json