tools.py: fix import