Fix up the filename