minor fix RankingList.java