minor change to paginator