Fix multiple nonexhaustive patterns