Remove default in fully-covered switch (to fix Clang -Werror -Wcovered-switch-default)