fixing non-ascii char in file.py docstring