fix File class