Little fix in constr ident