This has been in there since forever, but only started to matter once 40e4ac3e changed how we print the string.