Big fix in virtualization controller code (STOP)