small fix to file system api