Use @Nonnull to avoid redundant null checking