Do John Berry and Gillies MacKinnon have the same nationality?