Isn't "Петя" itself diminutive from "Петр"??