URGENT : contract extension bug