minor: fixing pdf page numbering