If we borrow money from our 401k, would we have to claim it if repayment is being deducted through paycheck?