small fix in virtuoso state