toolman.py minor edit