@NonNullByDefault fixes.