Fix bad filename.