PR #802

PR #802 is not in the merge queue.