Missing from credits?

Can anyone explain why Christopher Berry who played Airman Travis is not listed in credits? He isn't listed even on the DVD end credits. Maybe Angry_Willard knows.