Actually update the spec here.