Tommy Lee Jones' Name Appears in Credits