pg bug in num_students - workaround