Remove spurious default case to silent sanitizer