fix syntax of redeem_script