quick fix on fileExplorer.py