Answered in the comments. The distribution is apparently a distribution of after-tax basis in the 401(k), not a distribution of an excess contribution.
View solution in original post
