Fix default filename.