Fixed an issue with cached counts from Virtuoso