Probably, the proof was not up-to-date. Fixing it.