Require Reward Input to point within inputs range

tips/TIP-0045/tip-0045.md

@@ -1185,7 +1185,7 @@ The following criteria defines whether a payload passes the syntactical validati
     - `Context Inputs Count` must be `0 ≤ x ≤ Max Inputs Count`.
     - `Context Input Type` must denote an allowed input type, listed in section [Context Inputs](#context-inputs).
     - There must be zero or one _Commitment Input_.
-    - All _Rewards Inputs_ must reference a different `Index` and it must hold that: `Index <= Max Inputs Count`.
+    - All _Reward Inputs_ must reference a different `Index` and it must hold that: `Index < Inputs Count`.
     - All _Block Issuance Credit Inputs_ must reference a different `Account ID`.
   - Outputs:
     - `Outputs Count` must be `0 < x ≤ Max Outputs Count`.