We noticed a mistake with the proposal in that it calls "setSecureCollateralThreshold" instead of "setSystemCollateralCeiling".