Hm, I copied this from the text provided by @joelwurtz and @lolautruche. Do you guys have a solution?