fixup bug in paging.