Replace XXX by correct bug number

Commit 4d68ffa0f7f345bc1ae6751744518ba4bc3859bd failed to get the
correct bug number in a comment