Small fix for the paginator plugin