It's "correct"
Score=/=pp
Back in the days, Ranked Score was the ranking metric, not pp! It also has the # logo after the score amount
Though it is true, he shouldn't even be in top 1000
His score 25b is too low for that actually (#1000 is 25.1b)
Edit: More people seem to have it, it might indeed be a different thing