Some corrections to the pull request