That seems good to me. 
(as long as that’s the id of the leaderboard you want to include 
). You also need to save using the green tick after saving the changes in the editor, which I think has caught a few people out:
(Also checking to see that the theme component has been added to your theme gets me quite often too )