Yes, he is going to need to pull out the SEP contribution and have it coded as a return of excess contributions. He would normally also need to pull out any gains earned, however I doubt he will have gains in this market!
