fixed minor bug in FileSystem