I should also consider that the user might not have the background knowledge. If I'm assuming typos, I'll have to address that in the post as well. Maybe mention the possible corrections but proceed under the assumption that the names are correct if there's no clearer alternative.