Is there any extra form needed for a 457(b)?

I am filing jointly with my wife this year. She has 457(b) (I do not). So I am not familiar without the457(b) is reported. Is it simply just reported through the info on her W2? (it is through her employer) or is there another form she was supposed to have received? (she hasn't gotten anything else)

 

Just want to double check. Thanks so much!