corrections from pull request.