Fix a default on covered switch found by -Wcovered-switch-default

Introduced in r178207