Fix the precondition on paging test utils