fixes some minor things in PRs