This was at a college where indeed the student population did not change in size. The same goes for the professors, whose population grew about 5% over that time.