Silence GCC warning about dropping off a fully covered switch.