HOT FIX: Bug in number calculation in PaginationWidget