That’s correct. I was little too quick on the post button.
And, just a reminder that neither was actually martyred or buried inside the walls of Rome. Hence, “outside the walls,” near the place where, in the fantabulous word of our Italian guide in Rome, St. Paul was “martyrized.”