Fixed non-exhaustive patterns.