This fixes `-Wcovered-switch-default` warnings. This is a reminiscent of an old refactoring, see ce03a862.