You are correct. The root of the problem is that the only other player named Michael Carter in the NFL also plays for the Jets. I'm going to wait a couple days to update the Player Availability table, to see if other people find issues and I will correct them all at once.