Fixed a little bug in FileManager.cpp