Yes, that'll be fine.  I'll update the PR.