Annotate these as nonnull