No reason to remove this debug output. Let's leave it in to avoid confusing people who'd normally expect see the output.