A TurboTax expert helped me to fix this. In fact, there is a problem with TurboTax not properly handling Solo 401(k) contributions. The work around is to add the W2 income in the adjust self-employment section
