See PR #777 and comments.
See PR #777 and comments.