You may need to call in and discuss that with the Administrator (or phone agent) for those 401k funds .
If you didn't set up a separate repayment plan, then it wasn't set up as an actual loan.
A loan isn't taxed (unless you fail to repay). A distribution almost always has tax withholding.
____________*Answers are correct to the best of my knowledge when posted, but should not be considered to be legal or official tax advice.*
