PR #7821

PR #7821 is not in the merge queue.