Found another instance of the bad filename bug and removed it.