minor corrections from the PR review