I don’t think that history is accurate. Jesus was sarcastic to Simon because he was unreliable. Jesus called him “Petras” as a joke because Simon “Peter” was not a man with a reputation of trustworthiness or firm foundations.

The Greek is crucial here.