change toString() in DefaultMengRecord