fixed redemption syntax