tiny look at decs_to_i2_correct