Minor revisions to tools files