Might as well update the filename there, too