Or he could just merge this one instead of two PRs...