Fix bug in FileManager example