PR #2872

PR #2872 is not in the merge queue.