How about `@NotNull` here also?