Fixed bug #17452: options.hideRecords.pages is irgnored in page tree