Fix syntax in the tools section