changes names for clarity

This makes it much more obvious how to have multiple leaderboards