PR #2876

PR #2876 is not in the merge queue.