Fix a non-exhaustive match.