make _depaginate less ugly