Just fixing up some details on tools.