Fix builder bug regarding cached pagination (bug 894476)