Yes, but there would’ve been no reason for them to not match. The only difference is they get him at a discount for the last two years of the contract they signed him to. I’m pretty sure both sides were eager to work out an extension, so they decided to get it done.