PR #7003

PR #7003 is not in the merge queue.