workaround for another virtuoso bug