See pull request comment.