It doesn't have anything to do with his income. This is a taxable transaction. Just like any other conversion to ROTH.
Same result as if he just took the 401(k) money and put it in his checking account.
