bugfix in Redis Rooted PageRank implementation