Fix non-exhaustive patterm