I have not found any source that Peter Haverty's given name is Robert Peter Haverty. Every source I have lists him only as Peter and his wife as Mary. I have also not found any source that Mary Annie Kennedy has a given name of Annie Maria. I would like to know if this is the result of carrying incorrect information forward on the various genealogical platforms or if their names can be sourced, one way or the other.