small fix in virtuoso service