Fix bug in the maximum number of VM