making json download have a better file name