Small fix on file name