Stork: fix file name error