Fixed the id printout for bug #8073.