etc/twitter/students.json: fix a couple of names