PR #7551

PR #7551 is not in the merge queue.