Fix some numbers in the specification to match their explanation text.