fixing issue that was preventing from listing the total number of repos of users with lots of repositories