fixing another file system bug