Fix potential bug when upgrading to DecSync v2
