If box 13 is not checked on my W-2, but I know I have a 401K through my employer, should I still check box 13?