Fix non-exhaustive pattern warning