bugfix at File class