More application of @NotNull