You are correct.

Try it for yourself, create a test database and size the transactionlog to 100MB.

Then do the DBCC.