Minor fixes on people's names

No code changes, just attribution.