make minor corrections for pull request