Fix a bug preventing to change the number of VCPU in definition