make config tools use the correct config entry ('hosts' should have been 'servers')