Add a few corrections to the previous pull request