Fix over commitment formula