PR #7992

PR #7992 is not in the merge queue.