fix some bugs in FILE