Fix hello_world fill_leader_board() bug