Nullable verification bug