[Debug] tweak for #6474
merged branch bamarni/patch-1 (PR #7895)

This PR was merged into the master branch.

Discussion
----------

[Debug] tweak for #6474

This keeps the previous behavior as described in the comment.

Commits
-------

7d67b5b [Debug] tweak for #6474