You Chose Correctly
The result was a statement about a small enough group of
students--in one elementary school--that it was no doubt
calculated on the entire group of students and there was no
need to take a sample and make a probabilistic inference to
a larger unobserved group.