fix two minor bugs in FileManager.pm