Proper default handling in switch statement