tools.py fix