The other one doesn't need to be changed, because in that case it builds up an array of all of the extensions (with the updated crlNumber) and then overwrites the old array.