More editorial fixes to tool documentation