Small typo fixes

in tools.json