Malfunctioning gun saves lives at a McDonald's in Texas