Virtuoso encoding bug workaround