A fix of a bug in Trilinos.