Fix a bad default case.