Fix build round two

[seanmiddleditch]

GitHub's auto-merge will bypass CI checks, which is how the last two commits got through to main. :/