Coptic tradition also tells that his body was still at Baucalis as late as 311 AD, when Pope Peter of Alexandria was martyred at the same site.[7] According to the Martyrdom of St. Peter (Acta or Passio Sancti Petri), the tribunes who would later have him beheaded allowed him to first visit the tomb of St. Mark at "the place called Boukolou." He prayed to St. Mark for his intercession, that he might be martyred joyously. After exiting the tomb, the tribunes beheaded him in an area just south of Mark's martyrium.[2]