small changes to FileManager