The xdes_page_numbers method could return one too many xdes page numbers