Fix documentation path for Virtuoso.