diff --git a/infer/src/atd/jsonbug.atd b/infer/src/atd/jsonbug.atd
index ef9c4d957..4bc6b56c3 100644
--- a/infer/src/atd/jsonbug.atd
+++ b/infer/src/atd/jsonbug.atd
@@ -25,12 +25,12 @@ type nullsafe_mode = [Default | LocalTrustAll | LocalTrustSome | LocalTrustNone
 type nullsafe_meta_issue_info = {
   num_issues: int;
   curr_nullsafe_mode: nullsafe_mode;
-  can_be_promoted_to: nullsafe_mode option (* If present, it implies that the class is not only free of issues, but the mode can be promoted to a stricter one *)
+  can_be_promoted_to: nullsafe_mode nullable (* If present, it implies that the class is not only free of issues, but the mode can be promoted to a stricter one *)
 }
 
 type nullsafe_extra = {
   class_name: string;
-  package: string option;
+  package: string nullable;
   ?meta_issue_info: nullsafe_meta_issue_info option (* Should be present if the issue is "nullsafe meta issue" *)
 }