Virtuoso configuration instructions updated.