Fixed indentation in Paginator.php