Fix the banner

Turns out these will be broken in outstanding PRs for a while. At least
they won't be merge conflicts.