some more brush-up in the tools manual