Quick fix of bug #2996 continued (case of inductive types).