Great, thanks!
BTW you can add extra commits with follow up changes, then we'll squash them when we merge the pull. Rather than force pushing with a small change. Then an existing review stands and any new reviewer knows only the new commit(s) need particular scrutiny.