minor adjustments for the pull request