Silence warning introduced by #3449 debug change

This must be reverted as well if
commit 8a4a97f46ac02d7475a4a9532cb3b80800dcda90 is reverted.