Some missed nonnull annotations