Corrected proposition update file