As noted, what you received was processed as a distribution from the 401(k), not a loan. There can be no tax withholding on a loan, so it was not a loan. You post suggests the you "repaid" the distribution, which would have to have been done as a 60-day rollover unless the distribution was related to a federally -declared disaster. Note that if you were under age 59½ at the time of the distribution, it's likely that the distribution had to be performed as a hardship distribution that is not eligible for rollover unless the house repairs were related to a federally declared disaster.
