minor fix in FileSystem