Fix an increment that got lost in the previous change.