diff --git a/infer/src/eradicate/modelTables.ml b/infer/src/eradicate/modelTables.ml
index f049b7ffd..bb19a6f2f 100644
--- a/infer/src/eradicate/modelTables.ml
+++ b/infer/src/eradicate/modelTables.ml
@@ -179,7 +179,10 @@ let mapPut_list =
 (** Models for @Nullable annotations *)
 let annotated_list_nullable =
   check_not_null_list @ check_state_list @ check_argument_list
-  @ [ (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void")
+  @ [ ( o1
+      , "android.text.SpannableString.valueOf(java.lang.CharSequence):android.text.SpannableString"
+      )
+    ; (o1, "android.app.AlarmManager.cancel(android.app.PendingIntent):void")
     ; (n1, "android.os.Parcel.writeList(java.util.List):void")
     ; (n2, "android.os.Parcel.writeParcelable(android.os.Parcelable,int):void")
     ; (n1, "android.os.Parcel.writeString(java.lang.String):void")