Modify PaginationTools output. This fixes some problems with wraparound in the server console.