Fix an incompatibility with the new people.json format