Fix exhaustiveness in patterns.