PR #5803

PR #5803 is not in the merge queue.