A misplaced *NotNull* annotation