filetools.py: fix typo