I believe there is no error in this scenario because at genesis, we have the following configuration:
owner_key: 0 + 1
old_owner_key: 0 + 1
During the key change process:
owner_key: 0 + 1
old_owner_key: 1 + 0
old_old_owner_key: 1 - 1
So in the end, the new 'owner_key' will be set to 1. The 'old_key', which already has a sufficient count of 1 from the previous key change, will remain at 1. Meanwhile, the 'old_old_key' will have a value of 0 and can be reaped.