Minor additions to paginator