Fix a bug in VM allocation (OMS-389)