Should I have received a form 1099 for a 401k distribution?