Tipo in "retrieve redemption record" algorithm

[cooleck]

redemptionTimes map has been confused with redemptionRecords map
Here is a fix in spec: #300

[dvorak42]

Thanks for catching that.